1// SPDX-License-Identifier: GPL-2.0-or-later
2/*
3 * arch/c6x/boot/dts/dsk6455.dts
4 *
5 * DSK6455 Evaluation Platform For TMS320C6455
6 * Copyright (C) 2011 Texas Instruments Incorporated
7 *
8 * Author: Mark Salter <msalter@redhat.com>
9 */
10
11/dts-v1/;
12
13/include/ "tms320c6455.dtsi"
14
15/ {
16	model = "Spectrum Digital DSK6455";
17	compatible = "spectrum-digital,dsk6455";
18
19	chosen {
20		bootargs = "root=/dev/nfs ip=dhcp rw";
21	};
22
23	memory {
24		device_type = "memory";
25		reg = <0xE0000000 0x08000000>;
26	};
27
28	soc {
29		megamod_pic: interrupt-controller@1800000 {
30			interrupts = < 12 13 14 15 >;
31		};
32
33		emifa@70000000 {
34			flash@3,0 {
35				  #address-cells = <1>;
36				#size-cells = <1>;
37				compatible = "cfi-flash";
38				reg = <0x3 0x0 0x400000>;
39				bank-width = <1>;
40				device-width = <1>;
41				partition@0 {
42					reg = <0x0 0x400000>;
43					label = "NOR";
44				};
45			};
46		};
47
48		timer1: timer@2980000 {
49			interrupt-parent = <&megamod_pic>;
50			interrupts = < 69 >;
51		};
52
53		clock-controller@029a0000 {
54			clock-frequency = <50000000>;
55		};
56	};
57};
58