This patch set fixes the posted IRQs. Previously, we had a lousy interface for posting/injecting IRQs and we were missing IRQs on occasion.
Reinstall your kernel headers. ------------ You can also find this patch set at: [email protected]:brho/akaros.git From: 3c10f8d712b0 master To: 192043bd8b55 vmm And view them at: https://github.com/brho/akaros/compare/3c10f8d712b0...192043bd8b55 ------------ Barret Rhoden (5): VMM: Remove unused tests VMM: Use the I_POKE_CORE IRQ for posted IRQs Rename SYS_setup_vmm -> SYS_vmm_setup (XCC) VMM: Add a syscall to poke a guest pcore (XCC) VMM: Fix missed posted IRQs kern/arch/x86/process64.c | 6 + kern/arch/x86/ros/vmm.h | 2 +- kern/arch/x86/ros/vmx.h | 2 + kern/arch/x86/trap.h | 1 - kern/arch/x86/trapentry64.S | 2 +- kern/arch/x86/vmm/intel/vmx.c | 15 +- kern/arch/x86/vmm/vmm.c | 48 +++--- kern/arch/x86/vmm/vmm.h | 3 +- kern/drivers/dev/cons.c | 12 -- kern/include/ros/bits/syscall.h | 3 +- kern/src/syscall.c | 10 +- tests/vmm/hlt.s | 3 - tests/vmm/virtioconsole.c | 250 ------------------------------ tests/vmm/virtiopiocons.c | 160 -------------------- tests/vmm/virtiostress.c | 328 ---------------------------------------- tests/vmm/vmmcp.c | 145 ------------------ tests/vmm/vmmcpconfig | 90 ----------- tests/vmm/vmmcpkernel.c | 175 --------------------- tests/vmm/vmresume.c | 109 ------------- tests/vmm/vmrunkernel.c | 45 ++---- tests/vmm/vmrunkernelmmap.c | 179 ---------------------- 21 files changed, 60 insertions(+), 1528 deletions(-) delete mode 100644 tests/vmm/hlt.s delete mode 100644 tests/vmm/virtioconsole.c delete mode 100644 tests/vmm/virtiopiocons.c delete mode 100644 tests/vmm/virtiostress.c delete mode 100644 tests/vmm/vmmcp.c delete mode 100644 tests/vmm/vmmcpconfig delete mode 100644 tests/vmm/vmmcpkernel.c delete mode 100644 tests/vmm/vmresume.c delete mode 100644 tests/vmm/vmrunkernelmmap.c -- 2.7.0.rc3.207.g0ac5344 -- You received this message because you are subscribed to the Google Groups "Akaros" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. For more options, visit https://groups.google.com/d/optout.
