1// SPDX-License-Identifier: GPL-2.0 2/dts-v1/; 3/include/ "xtfpga.dtsi" 4/include/ "xtfpga-flash-128m.dtsi" 5 6/ { 7 compatible = "cdns,xtensa-kc705"; 8 chosen { 9 bootargs = "earlycon=uart8250,mmio32,0x9d050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug"; 10 }; 11 memory@0 { 12 device_type = "memory"; 13 reg = <0x60000000 0x10000000>; 14 }; 15 soc { 16 ranges = <0x00000000 0x90000000 0x10000000>; 17 }; 18}; 19