/cpukit/score/cpu/c4x/rtems/
../
asm.h
score
tic4x