pub(crate) fn call_ostd_main() -> !Expand description
Calls the OSTD-user defined entrypoint of the actual kernel.
Any kernel that uses the ostd crate should define a function marked with
ostd::main as the entrypoint.
This function should be only called from the bootloader-specific module.