/kernel/arch/nios2/platform/

• ../
• Kconfig.platform
• Makefile
• platform.c