pub(crate) fn kernel_main() -> !