path: root/kc/core/main.c

void kernel_main(void)
{
}