linux/arch/mips/boot/dts/xilfpga
…
..
Makefile
microAptiv.dtsi
nexys4ddr.dts