404\nKernel not found."); } else { # send kernel header("Content-Type: application/octet-stream"); header("Content-Disposition: attachment; filename=\"$kernel\""); readfile($kernel); } ?>