seL4 configurations can be built and tested on a RISC-V platform with the Renode framework....Read more