3 ms·

Perhaps looking towards the promised land of a practical macro and micro arch defensible in the real world, then start with a minimal ISA that can most readily

Perhaps looking towards the promised land of a practical macro and micro arch defensible in the real world, then start with a minimal ISA that can most readily implement a capabilities secure kernel like seL4. Too many features are a problem.

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 ago
  Definitely, as the seL4 team actually do recommend RISC-V.