diff --git a/arch/arm64/src/goldfish/goldfish_boot.c b/arch/arm64/src/goldfish/goldfish_boot.c index dc6066f435..bc9ce37ae2 100644 --- a/arch/arm64/src/goldfish/goldfish_boot.c +++ b/arch/arm64/src/goldfish/goldfish_boot.c @@ -45,6 +45,10 @@ #include "goldfish_boot.h" #include "goldfish_serial.h" +#ifdef CONFIG_DEVICE_TREE +# include +#endif + /**************************************************************************** * Private Data ****************************************************************************/ @@ -174,6 +178,10 @@ void arm64_chip_boot(void) arm64_mmu_init(true); +#ifdef CONFIG_DEVICE_TREE + fdt_register((const char *)0x40000000); +#endif + #ifdef CONFIG_ARCH_HAVE_PSCI arm64_psci_init("smc"); #endif