board: stm32mp1: reserve memory for OP-TEE in device tree
[oweals/u-boot.git] / arch / arm / dts / stm32mp15xx-dkx.dtsi
index 42d3f0cb2d7f8200ca4101d3800d6b0b628ca91a..9ce10a52f06cc9eb645ad479af690721b51a070f 100644 (file)
                        reg = <0xd4000000 0x4000000>;
                        no-map;
                };
+
+               optee@de000000 {
+                       reg = <0xde000000 0x02000000>;
+                       no-map;
+               };
        };
 
        led {