export fn kernel_start() noreturn {
    while (true) {}

}