Rob Bradford 162791b571 vmm, arch: Use IOAPIC constants from layout in DeviceManager ... Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2019-09-27 11:48:30 -07:00
..
aarch64	arch: acpi: Only add ACPI COM1 device if serial is turned on	2019-09-03 19:18:49 +02:00
x86_64	vmm, arch: Use IOAPIC constants from layout in DeviceManager	2019-09-27 11:48:30 -07:00
lib.rs	arch, vmm: Start documenting major regions of RAM and reserved memory	2019-09-27 08:55:47 -07:00