Henry Wang c50051a686 device_manager: Enable power button for ACPI on AArch64 ... Current AArch64 power button is only for device tree using a PL061 GPIO controller device. Since AArch64 now supports ACPI, this commit extend the power button on AArch64 to: - Using GED for ACPI+UEFI boot. - Using PL061 for device tree boot. Signed-off-by: Henry Wang <Henry.Wang@arm.com>		2021-09-03 10:27:52 -07:00
..
api	vmm: openapi: use the right default values	2021-08-27 15:58:23 +01:00
acpi.rs	vmm: Move NUMA node data structures to arch	2021-08-12 10:49:02 +02:00
config.rs	vmm, doc: Forbid same memory zone in multiple NUMA nodes	2021-08-12 10:49:02 +02:00
cpu.rs	virtio-devices, vmm: Upgrade restore related messages to info!()	2021-09-03 09:30:55 -07:00
device_manager.rs	device_manager: Enable power button for ACPI on AArch64	2021-09-03 10:27:52 -07:00
device_tree.rs	vmm: device_manager: Use DeviceTree to store PCI devices	2021-03-18 15:26:25 +01:00
interrupt.rs	clippy: Fix redundant allocations	2021-07-29 13:28:57 +02:00
lib.rs	vmm, virtio-console: Move input reading into virtio-console thread	2021-09-02 21:17:33 +01:00
memory_manager.rs	vmm: Refactor migration through Migratable trait	2021-08-05 06:07:00 -07:00
migration.rs	vmm: Simplify snapshot/restore path handling	2021-03-12 13:03:01 +01:00
seccomp_filters.rs	vmm: ensure signal handlers run on the right thread	2021-09-02 21:33:31 +01:00
serial_buffer.rs	vmm: Introduce a SerialBuffer for buffering serial output	2021-09-02 13:52:18 +01:00
vm.rs	vmm: ensure signal handlers run on the right thread	2021-09-02 21:33:31 +01:00