Constant LIB_SEL4_PUBLIC_SYMBOLS 

pub const LIB_SEL4_PUBLIC_SYMBOLS: bool = false;