I had one reply each to Demi and Hugo, but I think they got stuck in a moderation queue. Possibly my GPG signature angers the spam filter.
Can someone look into it? Regards, Branden On Mon, Nov 13, 2023 at 2:19 PM Peter Chubb via Devel <devel@sel4.systems> wrote: > > >>>>> "Demi" == Demi Marie Obenour <demioben...@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. > _______________________________________________ > Devel mailing list -- devel@sel4.systems > To unsubscribe send an email to devel-leave@sel4.systems _______________________________________________ Devel mailing list -- devel@sel4.systems To unsubscribe send an email to devel-leave@sel4.systems
