os_kernel/kernel/main.c

int main(void)
{
    while (1)
        ;
    return 0;
}