acrn-kernel/arch/nios2/boot/dts
..
3c120_devboard.dts
10m50_devboard.dts
Makefile