#include <kernel.h>

void start_kernel()

{
}