1 // SPDX-License-Identifier: GPL-2.0
3 /include/ "xtfpga.dtsi"
4 /include/ "xtfpga-flash-128m.dtsi"
7 compatible = "cdns,xtensa-kc705";
9 bootargs = "earlycon=uart8250,mmio32native,0xfd050020,115200n8 console=ttyS0,115200n8 ip=dhcp root=/dev/nfs rw debug memmap=0x38000000";
12 device_type = "memory";
13 reg = <0x00000000 0x38000000>;
21 /* global autoconfigured region for contiguous allocations */
23 compatible = "shared-dma-pool";
27 alloc-ranges = <0x00000000 0x20000000>;