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
