Function microkit_shared_memory_server::__sel4_microkit__main

source ยท 
#[no_mangle]
pub(crate) fn __sel4_microkit__main() -> !