[seL4] RISC-V Simulation Support