Activate the device tree we just loaded from disk. While this doesn't fix

any current bug, it might catch issues in the future.

ok kettenis@

diff --git a/sys/arch/arm64/stand/efiboot/efiboot.c b/sys/arch/arm64/stand/efiboot/efiboot.c
index 525fea3..5f28c2a 100644 (file)
--- a/sys/arch/arm64/stand/efiboot/efiboot.c
+++ b/sys/arch/arm64/stand/efiboot/efiboot.c
@@ -1,4 +1,4 @@
-/*     $OpenBSD: efiboot.c,v 1.42 2022/06/28 19:55:22 kettenis Exp $   */
+/*     $OpenBSD: efiboot.c,v 1.43 2022/11/05 18:58:24 patrick Exp $    */
 
 /*
  * Copyright (c) 2015 YASUOKA Masahiko <yasuoka@yasuoka.net>
@@ -1122,6 +1122,7 @@ Xdtb_efi(void)
        }
 
        fdt = (void *)addr;
+       fdt_init(fdt);
        return (0);
 }