Searched refs:MICRODROID_OS_NAME (Results 1 – 1 of 1) sorted by relevance
115 const MICRODROID_OS_NAME: &str = "microdroid"; constant1062 }) || config.osName != MICRODROID_OS_NAME in is_custom_config()1364 return Ok(iter::once(MICRODROID_OS_NAME.to_owned()).collect()); in get_supported_os_names()