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 <[email protected]> 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 -- [email protected] > To unsubscribe send an email to [email protected] _______________________________________________ Devel mailing list -- [email protected] To unsubscribe send an email to [email protected]
