3 ms·Definitely, as the seL4 team actually do recommend RISC-V.by snvzz 3y agoDefinitely, as the seL4 team actually do recommend RISC-V.