"Demi" == Demi Marie Obenour demiobenour@gmail.com writes:
Demi> I would love that, but seL4 currently is missing at least five Demi> critical security features on x86:
Demi> 1. Interrupt remapping in the IOMMU.
Can you please take a look at https://github.com/seL4/seL4/pull/1098 which attempts to add this? It needs more eyes on it.