ni-buildsystem/support/online-update/get-kernel.php

<?php
/*
	Example:
	http://www.neutrino-images.de/neutrino-images/get-kernel.php?boxtype=armbox&boxmodel=hd51
*/

$boxtype = trim($_GET["boxtype"]);
$boxtype_sc = ""; # autofilled
$boxseries = trim($_GET["boxseries"]);
$boxmodel = trim($_GET["boxmodel"]);

$kernel_prefix = "";
$image_type = "nightly";

# convert strings to lower case
$boxtype = strtolower($boxtype);
$boxtype_sc = strtolower($boxtype_sc);
$boxseries = strtolower($boxseries);
$boxmodel = strtolower($boxmodel);
$image_type = strtolower($image_type);

if ($boxtype == "coolstream" || $boxtype == "cst")
{
	$boxtype_sc = "cst";

	if ($boxmodel == "nevis")
	{
		$kernel_prefix = "-zImage.img";
	}
	elseif ($boxmodel == "apollo" || $boxmodel == "shiner" || $boxmodel == "kronos" || $boxmodel == "kronos_v2")
	{
		$kernel_prefix = "-vmlinux.ub.gz";
	}
}
elseif ($boxtype == "armbox" || $boxtype == "arm")
{
	$boxtype_sc = "arm";

	$kernel_prefix = ".bin";
}

# release/kernel-cst-kronos-vmlinux.ub.gz
$directory = $image_type;
$kernel = $directory . "/kernel-" . $boxtype_sc . "-" . $boxmodel . $kernel_prefix;

if (!file_exists($kernel))
{
	# send error
	header('HTTP/1.0 404 Not Found');
	die("<h1>404</h1>\nKernel not found.");
}
else
{
	# send kernel
	header('Content-Description: File Transfer');
	header('Content-Type: application/octet-stream');
	header('Content-Disposition: attachment; filename="' . basename($kernel) . '"');
	header('Expires: 0');
	header('Cache-Control: must-revalidate');
	header('Pragma: public');
	header('Content-Length: ' . filesize($kernel));
	readfile($kernel);
}
?>