mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-30 16:14:13 +00:00
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