3 ms·
RISCV could run seL4 I think? https://riscv.org/blog/2020/06/sel4-is-verified-on-risc-v/ https://riscv.org/blog/2020/06/sel4-is-verified-on-risc-v/
by buildbot 3y ago
RISCV could run seL4 I think? https://riscv.org/blog/2020/06/sel4-is-verified-on-risc-v/ https://riscv.org/blog/2020/06/sel4-is-verified-on-risc-v/
- snvzz 3y agoDefinitely, as the seL4 team actually do recommend RISC-V.