Add a "machine acpi" command to force booting with ACPI enabled.
authorkettenis <kettenis@openbsd.org>
Tue, 10 Jul 2018 13:05:37 +0000 (13:05 +0000)
committerkettenis <kettenis@openbsd.org>
Tue, 10 Jul 2018 13:05:37 +0000 (13:05 +0000)
commitbe07ee62c2bb6548c6c3cff8b6b034d6e9e2b44d
tree8da9fe4f01bbc76c4549f8c1e6e2c7a02c586bca
parent5faf3abbb8e6658e0ec3473e49c231934d289688
Add a "machine acpi" command to force booting with ACPI enabled.
sys/arch/arm64/stand/efiboot/efiboot.c