Constant sel4_config::consts::LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY

pub const LIB_SEL4_STUBS_USE_IPC_BUFFER_ONLY: bool = false;