src/vmm/src/builder.rs — orchestrates microVM creation from configuration
The default path. libkrunfw ships a pre-built kernel + initrd. krunfw_get_kernel() returns a slice of bytes already mapped into the process. Fastest to get started.
Caller provides a vmlinux ELF or bzImage path via krun_set_kernel(). The builder opens and maps the file, then loads it into guest RAM using the kernel module.
A UEFI or custom firmware binary. The builder maps it into the top of the guest physical address space (0xFFFFF000 on x86-64). Used for secure VM / TEE boots.