/target/nios2/kernel/
../
generic-nios2