0001 // SPDX-License-Identifier: GPL-2.0
0002 /dts-v1/;
0003 /include/ "xtfpga.dtsi"
0004 /include/ "xtfpga-flash-128m.dtsi"
0005
0006 / {
0007 compatible = "cdns,xtensa-kc705";
0008 chosen {
0009 bootargs = "earlycon=uart8250,mmio32native,0xfd050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x38000000";
0010 };
0011 memory@0 {
0012 device_type = "memory";
0013 reg = <0x00000000 0x38000000>;
0014 };
0015
0016 reserved-memory {
0017 #address-cells = <1>;
0018 #size-cells = <1>;
0019 ranges;
0020
0021 /* global autoconfigured region for contiguous allocations */
0022 linux,cma {
0023 compatible = "shared-dma-pool";
0024 reusable;
0025 size = <0x04000000>;
0026 alignment = <0x2000>;
0027 alloc-ranges = <0x00000000 0x20000000>;
0028 linux,cma-default;
0029 };
0030 };
0031 };