kernel/cpu/
boot.rs

1
2
3
4
5
//! Boot code

#[cfg(target_arch = "aarch64")]
#[path = "../_arch/aarch64/cpu/boot.rs"]
mod arch_boot;