camkes-vm icon indicating copy to clipboard operation
camkes-vm copied to clipboard

Published 20 hours ago • verified publisher icon seL4

Init: add support for MSIs in the x86 VMM

Open andybui01 opened this issue 2 years ago • 0 comments

See: https://github.com/seL4/seL4_projects_libs/pull/86

Note: I've extended the number of interrupts supported from 16 to 20. I've selected to have 4 APIC interrupts to be conservative with notification badges, but if anyone has a better idea for this feel free to lmk.

andybui01 avatar Nov 18 '22 05:11 andybui01