/cpukit/score/cpu/nios2/