void kernel_main(void);