Hi Neil, On Wed, Sep 11, 2024 at 12:19 PM Neil Armstrong <neil.armstrong at linaro.org> wrote: [...] > - memory { > + memory at 0 { > device_type = "memory"; > reg = <0x40000000 0x80000000>; On the 32-bit SoCs we specify memory at an 0x40000000 offset. Shouldn't we use memory at 40000000 in that case?