linux/arch/nios2/boot/dts
…
..
3c120_devboard.dts
10m50_devboard.dts
Makefile