sel4_microkit

Function pd_is_passive

Source 
pub fn pd_is_passive() -> bool
Expand description

Returns whether this protection domain is a passive server.