1 // SPDX-License-Identifier: GPL-2.0-or-later
3 * arch/c6x/boot/dts/dsk6455.dts
5 * DSK6455 Evaluation Platform For TMS320C6455
6 * Copyright (C) 2011 Texas Instruments Incorporated
8 * Author: Mark Salter <msalter@redhat.com>
13 /include/ "tms320c6455.dtsi"
16 model = "Spectrum Digital DSK6455";
17 compatible = "spectrum-digital,dsk6455";
20 bootargs = "root=/dev/nfs ip=dhcp rw";
24 device_type = "memory";
25 reg = <0xE0000000 0x08000000>;
29 megamod_pic: interrupt-controller@1800000 {
30 interrupts = < 12 13 14 15 >;
37 compatible = "cfi-flash";
38 reg = <0x3 0x0 0x400000>;
48 timer1: timer@2980000 {
49 interrupt-parent = <&megamod_pic>;
53 clock-controller@029a0000 {
54 clock-frequency = <50000000>;