1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * arch/c6x/boot/dts/evmc6457.dts
5 * EVMC6457 Evaluation Platform For TMS320C6457
7 * Copyright (C) 2011 Texas Instruments Incorporated
9 * Author: Mark Salter <msalter@redhat.com>
14 /include/ "tms320c6457.dtsi"
17 model = "eInfochips EVMC6457";
18 compatible = "einfochips,evmc6457";
21 bootargs = "console=hvc root=/dev/nfs ip=dhcp rw";
25 device_type = "memory";
26 reg = <0xE0000000 0x10000000>;
30 megamod_pic: interrupt-controller@1800000 {
31 interrupts = < 12 13 14 15 >;
34 timer0: timer@2940000 {
35 interrupt-parent = <&megamod_pic>;
39 clock-controller@29a0000 {
40 clock-frequency = <60000000>;