extern "C" void kernel_entry(void *Data)
{
    while (1)
        ;
}