acrn-kernel/arch/nios2/platform
..
Kconfig.platform
Makefile
platform.c