[seL4] Re: Running RISC-V seL4 in QEMU 7.0.50

This didn't work for me. I tried QEMU 7.0 and 6.2.0. Maybe I've got something else going on? I did get it working on 6.2.0...but not with this configuration.