veridian_kernel/arch/x86_64/bootstrap.rs
1// x86_64-specific bootstrap output functions
2//
3// Uses early_println! for serial output during boot, before the full
4// kernel print infrastructure is available. The stage functions are
5// generated by the shared `define_bootstrap_stages!` macro to avoid
6// duplicating identical stage messages across architectures.
7
8/// Print a bootstrap message via x86_64 early serial output.
9macro_rules! x86_boot_print {
10 ($s:expr) => {
11 crate::early_println!($s)
12 };
13}
14
15crate::define_bootstrap_stages!(x86_boot_print);