[seL4] Re: Running RISC-V seL4 in QEMU 7.0.50

Hi,

$ qemu-system-riscv64 -nographic -serial mon:stdio -m size=4095M -bios none -kernel images/sel4test-driver-image-riscv-spike

I think you should use "-bios images/sel4test-driver-image-riscv-spike" and pass no "-kernel" paramter at all. -bios" starts the image in M-Mode while "-kernel" uses a default OpenSBI image that comes with QEMU and starts the given (OS-)image in S-Mode. For RISC-V, the seL4 build systrem creates an image that contains OpenSBI with the elfloader as S-Mode OS payload. Axel