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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
