Trait sel4::CapTypeForFrameObject

source · 
pub trait CapTypeForFrameObject: CapType { }
Expand description

Trait for CapTypes which correspond to frame objects.

Object Safety§

This trait is not object safe.

Implementors§