14 Nov
2023
14 Nov
'23
7:17 a.m.
"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. -- Dr Peter Chubb https://trustworthy.systems/ Trustworthy Systems Group CSE, UNSW Core hours: Mon 8am-3pm; Wed: 8am-5pm; Fri 8am-12pm.