eonix/include/kernel_main.h

void kernel_main(void);