1 // SPDX-License-Identifier: GPL-2.0
2 #include "tegra210.dtsi"
5 model = "NVIDIA Tegra210 P2530 main board";
6 compatible = "nvidia,p2530", "nvidia,tegra210";
9 rtc1 = "/rtc@7000e000";
14 stdout-path = "serial0:115200n8";
18 device_type = "memory";
19 reg = <0x0 0x80000000 0x0 0xc0000000>;
29 clock-frequency = <400000>;
33 nvidia,invert-interrupt;
44 compatible = "simple-bus";
49 compatible = "fixed-clock";
52 clock-frequency = <32768>;
58 enable-method = "psci";
62 enable-method = "psci";
66 enable-method = "psci";
70 enable-method = "psci";
75 compatible = "arm,psci-0.2";