sel4_config::consts

Constant PLAT_ALLWINNERA20

Source 
pub const PLAT_ALLWINNERA20: bool = false;