//! Boot code
#[path = "../_arch/arm/cpu/boot.rs"]
mod arch_boot;