Static microkit_hello::__sel4_runtime_common__stack_bottom

source ยท 
#[no_mangle]
pub(crate) static __sel4_runtime_common__stack_bottom: StackBottom