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