2 ms·

>Maybe an ARM desktop once multi core is implemented and verified. The verification story is currently stronger with RISC-V. Considering close cooperation bet

by snvzz 4y ago

>Maybe an ARM desktop once multi core is implemented and verified. The verification story is currently stronger with RISC-V. Considering close cooperation between seL4 and RISC-V projects, ARM aka the legacy architecture is unlikely to be a priority anytime soon.