linux/arch/microblaze/boot/dts
..
linked_dtb.S
Makefile
system.dts