/cpukit/score/cpu/nios2/rtems/
../
asm.h
score