// Kernel-loading responsibilities:
//   - Load a Linux kernel Image into guest RAM at the boot offset
//   - Compute the initial PC for the boot vCPU
//   - Stage initrd into RAM if provided
//
// On aarch64 the Image format is just raw bytes at offset 0x80000;
// no ELF parsing needed.

pub mod loader;
