3 ms·
>FWIW, I would not trust seL4 on x86. I would not trust any system on x86. >AIUI, the situation on ARM is likely better. Somewhat, but still not good. RISC-
by snvzz 3y ago
>FWIW, I would not trust seL4 on x86.
I would not trust any system on x86.
>AIUI, the situation on ARM is likely better.
Somewhat, but still not good.
RISC-V is where it's at, when it comes to seL4.
(seL4 participates in RISC-V)