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

..

src

device_manager: Enable power button for ACPI on AArch64

2021-09-03 10:27:52 -07:00

Cargo.toml

build: update Cargo for rust-vmm branch renames

2021-09-02 10:38:25 +01:00