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