1 // SPDX-License-Identifier: GPL-2.0-or-later
3 #include "ste-dbx5x0.dtsi"
9 operating-points = <1152000 0
22 * Initial Secure Software ISSW memory
24 * This is probably only used if the kernel tries
25 * to actually call into trustzone to run secure
26 * applications, which the mainline kernel probably
27 * will not do on this old chipset. But you can never
28 * be too careful, so reserve this memory anyway.
31 reg = <0x17f00000 0x00100000>;