Trait sel4::CapTypeForFrameObject
source · pub trait CapTypeForFrameObject: CapType { }
Expand description
Trait for CapType
s which correspond to frame objects.
Object Safety§
This trait is not object safe.
pub trait CapTypeForFrameObject: CapType { }
Trait for CapType
s which correspond to frame objects.