Function sel4_microkit::pd_is_passive

source ยท 
pub fn pd_is_passive() -> bool
Expand description

Returns whether this protection domain is a passive server.