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 <i.velicko...@unsw.edu.au> wrote: > > > 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 m...@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 _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
