1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * arch/c6x/boot/dts/evmc6457.dts
4 *
5 * EVMC6457 Evaluation Platform For TMS320C6457
6 *
7 * Copyright (C) 2011 Texas Instruments Incorporated
8 *
9 * Author: Mark Salter <msalter@redhat.com>
10 */
11
12/dts-v1/;
13
14/include/ "tms320c6457.dtsi"
15
16/ {
17	model = "eInfochips EVMC6457";
18	compatible = "einfochips,evmc6457";
19
20	chosen {
21		bootargs = "console=hvc root=/dev/nfs ip=dhcp rw";
22	};
23
24	memory {
25		device_type = "memory";
26		reg = <0xE0000000 0x10000000>;
27	};
28
29	soc {
30		megamod_pic: interrupt-controller@1800000 {
31		       interrupts = < 12 13 14 15 >;
32		};
33
34		timer0: timer@2940000 {
35			interrupt-parent = <&megamod_pic>;
36			interrupts = < 67 >;
37		};
38
39		clock-controller@29a0000 {
40			clock-frequency = <60000000>;
41		};
42	};
43};
44