Skip to main content

PLAT_BANANAPIF3

sel4_config::consts

Constant PLAT_BANANAPIF3 

Source 
pub const PLAT_BANANAPIF3: bool = false;