seL4_projects_libs icon indicating copy to clipboard operation
seL4_projects_libs copied to clipboard

Published 20 hours ago • verified publisher icon seL4

libsel4vm, x86: interrupt model improvements

Open andybui01 opened this issue 2 years ago • 6 comments

This PR attempts to do the following:

  • Patch up flaky ACPI table support
  • Complete the APIC emulation code. In its current state the emulated APIC is not completed and used.
  • Add support for Message Signaled Interrupts (MSIs). This allows a greater range of devices to be supported without the need for IOAPIC emulation (a bit harder to set up due to the DSDT and AML bytecode. Although I think dornerworks have an attempt at this?)
  • WIP: APIC timer support, mostly works just probabilistic and freezes up here and there.

An example CAmkES app configuration can be found here: https://github.com/andybui01/camkes-vm-examples/blob/andyb/supermicro_msi/apps/x86/supermicro/supermicro.camkes

A working manifest for the supermicro board can also be found here: https://github.com/andybui01/camkes-vm-examples-manifest/blob/andyb/supermicro_msi/master.xml

andybui01 avatar Nov 18 '22 05:11 andybui01