Implement "mach dtb <filename.dtb>" in efiboot(8). This way we can
authorpatrick <patrick@openbsd.org>
Sun, 19 Aug 2018 14:09:41 +0000 (14:09 +0000)
committerpatrick <patrick@openbsd.org>
Sun, 19 Aug 2018 14:09:41 +0000 (14:09 +0000)
commit6f83097e8d7b5f549ca1ba16353dca0386bcf87a
treef1f83b141f08aa27adf50ce2bd115d142272108d
parent83926339880de9648b94ba4943d1dbf509b83d99
Implement "mach dtb <filename.dtb>" in efiboot(8).  This way we can
provide our own FDT if the BIOS doesn't supply one, or even override
the supplied one.

Idea from and ok kettenis@
sys/arch/arm64/stand/efiboot/efiboot.c