Function banscii_serial_driver::__sel4_microkit__main

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