QEMU Direct Linux Boot

Use this workflow when QEMU should load a kernel directly, usually with -kernel, -dtb, -initrd, and -append.

Primitive Composition

1. Use qemu-flow-plan.
2. Use qemu-source-provenance for kernel, DTB, initrd, rootfs, and QEMU binary.
3. Use qemu-boot-run to construct and run the command.
4. Use qemu-model-verification to report the boot milestone.
5. Use qemu-debug if the run hangs or faults.

Inputs to Confirm