vmm: acpi: Move ACPI GED device to MMIO bus

Currently the GED control is in a fixed I/O port address but instead use
an MMIO address that has been chosen by the allocator.

Signed-off-by: Rob Bradford <robert.bradford@intel.com>
This commit is contained in:
Rob Bradford
2021-01-20 15:32:10 +00:00
committed by Sebastien Boeuf
parent 4ebeeb1310
commit 28ab6cea0e
3 changed files with 37 additions and 19 deletions

View File

@@ -26,7 +26,7 @@ extern crate serde_derive;
extern crate serde_json;
#[cfg(feature = "acpi")]
mod acpi;
pub mod acpi;
#[cfg(target_arch = "aarch64")]
pub mod gic;
pub mod interrupt_controller;