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