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};

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