//! 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;