/cpukit/score/cpu/arm/include/