sel4_config::consts

Constant OPENSBI_PLATFORM

Source 
pub const OPENSBI_PLATFORM: &str = "generic";