The ACPI tables on the Lenovo x13s are incomplete and unusable. For
authorpatrick <patrick@openbsd.org>
Wed, 7 Dec 2022 23:04:26 +0000 (23:04 +0000)
committerpatrick <patrick@openbsd.org>
Wed, 7 Dec 2022 23:04:26 +0000 (23:04 +0000)
commit4befd8f05a38bbe6df8f0ba4c4ec6b50fafb5c36
tree84e2fceb9819e61c7caecca2fb5c64490681b6d0
parentded1d43d0b2cfccf07e0970d9b45b5b50d89161a
The ACPI tables on the Lenovo x13s are incomplete and unusable.  For
that reason, identify that we're running on that machine by looking at
the SMBIOS tables and load alternate device tree binaries from disk.

ok kettenis@
sys/arch/arm64/stand/efiboot/Makefile
sys/arch/arm64/stand/efiboot/conf.c
sys/arch/arm64/stand/efiboot/efiboot.c
sys/arch/arm64/stand/efiboot/smbios.c [new file with mode: 0644]
sys/stand/efi/include/efiapi.h