cloud-hypervisor/arch/src/x86_64
Sebastien Boeuf 011496bda0 arch: acpi: Fix legacy interrupt for serial device
The DSDT must declare the interrupt used by the serial device. This
helps the guest kernel matching the right interrupt to the 8250 serial
device. This is mandatory in case the IRQ routing is handled by ACPI, as
we must let ACPI know what do do with pin based interrupts.

One thing to notice, if we were using acpi=noirq from the kernel command
line, this would mean ACPI is not in charge of the IRQ routing, and the
device COM1 declaration would not be needed.

One additional requirement is to provide the appropriate interrupt
source override for the legacy ISA interrupts (0-15), which will give
the right information to the guest kernel about how to allocate the
associated IRQs.

Because we want to keep the MADT as simple as possible, and given that
our only device requiring pin based interrupt is the serial device, we
choose to only define the pin 4.

Signed-off-by: Sebastien Boeuf <sebastien.boeuf@intel.com>
2019-09-03 19:18:49 +02:00
..
acpi.rs arch: acpi: Fix legacy interrupt for serial device 2019-09-03 19:18:49 +02:00
gdt.rs cloud-hypervisor: Add proper licensing 2019-05-09 15:44:17 +02:00
interrupts.rs cloud-hypervisor: Add proper licensing 2019-05-09 15:44:17 +02:00
layout.rs cloud-hypervisor: Add proper licensing 2019-05-09 15:44:17 +02:00
mod.rs arch: acpi: Only add ACPI COM1 device if serial is turned on 2019-09-03 19:18:49 +02:00
mptable.rs arch: x86_64: acpi: Generate MADT aka APIC table 2019-09-03 19:18:49 +02:00
regs.rs arch: x86_64: Set MTRR default memory type as WB 2019-08-01 20:14:46 +02:00