On one of my computers:
QEMU emulator version 7.0.0 (Debian 1:7.0+dfsg-2~bpo11+2)
Copyright (c) 2003-2022 Fabrice Bellard and the QEMU Project developers
$ ../init-build.sh -DPLATFORM=spike -DRISCV64=TRUE -DRELEASE=FALSE -DSIMULATION=TRUE
$ ninja
$ ./simulate -m 1G # becomes: qemu-system-riscv64 -machine spike -cpu rv64 -nographic -serial mon:stdio -m size=1G -bios none -kernel images/sel4test-driver-image-riscv-spike
Thanks
------- Original Message -------
On Monday, July 11th, 2022 at 1:13 AM, Ivan Velickovic
What platform are you trying to build for sel4test? What command did you use to build sel4test? QEMU version 6.0.0 works successfully for me.
On 11/07/2022, at 3:43 PM, Ahmed Charles me@ahmedcharles.com wrote:
I'm having similar issues getting seL4test to work on riscv32/64 on QEMU 6.0.0 and 7.0.0. I tried debugging with a connected gdb, but I'm new at this and setting breakpoints in user mode seems to fail, so I'm not sure what happens once the root task starts, other than it eventually runs an infinite loop (0: j 0b, specifically).
Any ideas? Thanks. _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems