Andy Bui

libsel4vm, x86: interrupt model improvements

6

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...

vcpu: only trap WFx instructions from vCPUs

2

When KernelArmDisableWFIWFETraps is disabled (trapping of WFI/WFE is enabled), the kernel traps WFx instructions from both native and vCPU threads. This change makes the code in line with the config...