Real hardware, real disk. QSOE 0.1 boots on the SiFive HiFive Unmatched (FU740); the SpaceMiT K3 is a future target. This assumes a board already running Linux — you'll be placing files on its existing EFI and boot partitions, so familiarity with the board's firmware is expected.

The boot model is simple: mr-bml lives in the EFI System Partition; it reads its menu and the kernels from an ext2/3/4 partition; the chosen variant then mounts its own root from a fs-qrv partition.

Steps

1. Copy mrbml-riscv64.efi into your ESP as EFI/BOOT/BOOTRISCV64.EFI (the UEFI removable-media path), or register it with efibootmgr as a boot entry.
2. On your boot/root filesystem, create /boot/qsoe/ and copy the kernels there: skimmer.bin + modpkg.cpio for QSOE/N, qsoe-l-sifive.elf for QSOE/L.
3. Create /boot/mr-bml/mr-bml.cfg with one entry per variant — for example:

# /boot/mr-bml/mr-bml.cfg  — adjust the mainfs= partition to your disk
menuentry 'QSOE/N (Skimmer)' {
    kernel /boot/qsoe/skimmer.bin mainfs=/dev/nvme0n1p8
    modpkg /boot/qsoe/modpkg.cpio
}
menuentry 'QSOE/L (seL4)' {
    kernel /boot/qsoe/qsoe-l-sifive.elf mainfs=/dev/nvme0n1p8
}

The mainfs= device names the partition holding the QSOE root filesystem (fs-qrv) — set it to whichever partition you've devoted to QSOE on your board. On real hardware there is no QEMU virtio split: both variants drive the NVMe disk directly.