#include #include #include "yak/platform/generic/platform.h" void kmain() { _init(); // kmain is called from one of the bootloader implementations // perform platform specific initialisation platform_init(); // this should (eventually) be unreachable panic("End of kmain"); _fini(); }