QEMU Firmware Linux Boot

Use this workflow when Linux must be reached through firmware or bootloader code rather than direct kernel loading.

Primitive Composition

1. Use qemu-flow-plan.
2. Use qemu-source-provenance for firmware, bootloader, kernel, DTB, rootfs, and QEMU.
3. Use qemu-image-layout for boot media, pflash, ROM, or disk images.
4. Use qemu-boot-run to run and log the firmware path.
5. Use qemu-debug to isolate the failing stage if boot stalls.
6. Use qemu-model-verification to report the reached milestone.

Stage Checklist

Record each expected stage and marker: