microkit_
hello
0.1.0
Function
microkit_hello
::
__sel4_microkit__main
Copy item path
source
ยท
[
−
]
#[no_mangle] pub(crate) fn __sel4_microkit__main() -> !