1 // SPDX-License-Identifier: GPL-2.0
3 * Copyright (C) 2018 Texas Instruments Incorporated - http://www.ti.com/
8 stdout-path = "serial2:115200n8";
20 timer1: timer@40400000 {
21 compatible = "ti,omap5430-timer";
22 reg = <0x0 0x40400000 0x0 0x80>;
24 clock-frequency = <25000000>;
35 k3_sysreset: sysreset-controller {
36 compatible = "ti,sci-sysreset";