board: stm32mp1: fix handling of DT OP-TEE reserved memory nodes
[oweals/u-boot.git] / dts /
drwxr-xr-x   ..
-rw-r--r-- 13601 Kconfig
-rw-r--r-- 1575 Makefile