/kernel/arch/nios2/boot/dts/

• ../
• 10m50_devboard.dts
• 3c120_devboard.dts