Constant sel4_config::consts::LIB_SEL4_PUBLIC_SYMBOLS

pub const LIB_SEL4_PUBLIC_SYMBOLS: bool = false;