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