Rob Bradford b9ba81c30d arch, vmm: Don't build mptable when using ACPI ... Use the ACPI feature to control whether to build the mptable. This is necessary as the mptable and ACPI RSDP table can easily overwrite each other leading to it failing to boot. TEST=Compile with default features and see that --cpus boot=48 now works, try with --no-default-features --features "pci" and observe the --cpus boot=48 also continues to work. Fixes: #1132 Signed-off-by: Rob Bradford <robert.bradford@intel.com>		2020-05-11 19:34:34 +01:00
..
gdt.rs	pvh: Initialize vCPU regs/sregs for PVH boot	2020-03-13 18:29:44 +01:00
interrupts.rs
layout.rs	arch: Support loading initramfs with PVH boot protocol	2020-04-09 17:28:03 +02:00
mod.rs	arch, vmm: Don't build mptable when using ACPI	2020-05-11 19:34:34 +01:00
mptable.rs
regs.rs	arch: regs: Rename and export create_msr_entries	2020-04-03 18:05:18 +01:00