>AVX-512 and other x86 warts While seL4 runs on x86, it is not recommended. Effort seems to be focused on ARM and RISC-V, particularly the latter. An argumen

>AVX-512 and other x86 warts While seL4 runs on x86, it is not recommended. Effort seems to be focused on ARM and RISC-V, particularly the latter. An argument could be made that x86's baggage makes it a particularly bad fit for offering the sort of guarantees seL4 does.