Trait sel4::IpcCapType

source · 
pub trait IpcCapType: CapType { }
Expand description

Trait for CapTypes which are used as targets of IPC syscalls.

Object Safety§

This trait is not object safe.

Implementors§