When loading a device tree using the "mach dtb" command, give firmware
authorkettenis <kettenis@openbsd.org>
Fri, 14 Jun 2024 19:49:17 +0000 (19:49 +0000)
committerkettenis <kettenis@openbsd.org>
Fri, 14 Jun 2024 19:49:17 +0000 (19:49 +0000)
commit296cb5dff06f595c2590ca32bcbf365ed75f9d99
treeab4815a6b846b966928e6876a39770746192e3e8
parent508def2a5c9203a69007dee3efff6d15d1b999f1
When loading a device tree using the "mach dtb" command, give firmware
a chance to make modifications (such as applying memory reservations)
by using the EFI devicetree fixup protocol.

ok patrick@, jca@
sys/arch/arm64/stand/efiboot/conf.c
sys/arch/arm64/stand/efiboot/efiboot.c
sys/arch/arm64/stand/efiboot/efidt.h [new file with mode: 0644]