[seL4] Re: Port to a cartesi-machine (riscv:rv64ima)

Marcelo,

I have a suspicion that the unsupported PMP may have something to do with this but since I'm still pretty new to seL4 so I would like advice on how to debug this further.

It can't be the PMP because seL4 starts in S-Mode. What code does the sel4 root task have at the faulting address 0x101f0? Axel