sel4_sys

Constant VECTOR_MIN

Source
pub const VECTOR_MIN: u32 = 0;