|+ gpio1: gpio at 30200000 { |+ compatible = "fsl,imx8mn-gpio", |"fsl,imx35-gpio"; |+ reg = <0x30200000 0x10000>; Should these be 64 bit addresses ? tkisky at OS2:~/u-boot$ make imx8mn_ddr4_evk_defconfig # # configuration written to .config # tkisky at OS2:~/u-boot$ grep PHYS_64BIT .config CONFIG_PHYS_64BIT=y Thanks Troy