| //! Global configuration settings and constants that are shared between the |
| //! Matcha app and platform. |
| |
| #![no_std] |
| |
| // TODO(aappleby): Shared capsule/command numbers can't go in matcha_capsule |
| // right now due to some sort of toolchain mismatch that we need to figure out |
| // later. |
| |
| pub const DRIVER_NUM_ALARM: usize = 0x00000; |
| pub const DRIVER_NUM_CONSOLE: usize = 0x00001; |
| pub const DRIVER_NUM_DEBUG_UART: usize = 0x00009; |
| pub const DRIVER_NUM_STORAGE_MANAGER: usize = 0x50003; |
| pub const DRIVER_NUM_ELF_LOADER: usize = 0x50004; |
| |
| pub const CMD_ELF_LOADER_BOOT_SEL4: usize = 10; |
