671e36bc45
and add xml configuration option to switch it on if required. Avoids trouble on Windows 7 guest where IRQ injected by VMMDev PCI device is not delivered. If ioapic is required and Windows guest addition "hangs", look in file DevPCI.cpp, function pciSetIrqInternal, variable fIsApicEnabled. If config[0xde] == 0xbe config[0xad] == 0xef it works. "Deadbeaf" seems to/should be set in ACPI file vbox.dsl. Happens for unknown reason not on Genode/Nova. Fixes #1188 |
||
---|---|---|
.. | ||
accloff | ||
autotest | ||
include | ||
nova | ||
acpi_drv.patch | ||
cxx_dummies.cc | ||
devices.cc | ||
drivers.cc | ||
dummies.cc | ||
dynlib.cc | ||
fake_pci_vendor.patch | ||
guest_memory.h | ||
hda.patch | ||
hwacc.patch | ||
hwaccm.cc | ||
iconv.patch | ||
iommio.cc | ||
ioport.cc | ||
libc.cc | ||
logger.cc | ||
main.cc | ||
mm.cc | ||
pdm_queue_irqs.patch | ||
pdm.cc | ||
pgm.cc | ||
rt.cc | ||
rtc.patch | ||
serial.patch | ||
sharedfolder_pagelist.patch | ||
sharedfolder.patch | ||
sup.cc | ||
sup.h | ||
target.mk | ||
thread.cc | ||
time-log-deadlock.patch | ||
timer.patch | ||
util.h | ||
vbetables-gen.patch | ||
vboxbfe.patch | ||
vga_fb.patch | ||
vmdk.patch | ||
vmm_memory.h | ||
vmmdev.patch | ||
vmx_c++.patch |