When loading a device tree using the "mach dtb" command, give firmware
authorkettenis <kettenis@openbsd.org>
Mon, 17 Jun 2024 09:12:45 +0000 (09:12 +0000)
committerkettenis <kettenis@openbsd.org>
Mon, 17 Jun 2024 09:12:45 +0000 (09:12 +0000)
commitaa1ebb9e1f309b2055bb208eeda988e8dacdf050
tree44359230cb3c8d29337b4825ba3ab0114dfba730
parent8663a10cc3dd3c5d98e4158b4db2207a322eac52
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 jca@
sys/arch/armv7/stand/efiboot/conf.c
sys/arch/armv7/stand/efiboot/efiboot.c
sys/arch/armv7/stand/efiboot/efidt.h [new file with mode: 0644]
sys/arch/riscv64/stand/efiboot/conf.c
sys/arch/riscv64/stand/efiboot/efiboot.c
sys/arch/riscv64/stand/efiboot/efidt.h [new file with mode: 0644]