Type Alias sel4::Badge

source · 
pub type Badge = Word;
Expand description

A capability badge.