/cpukit/score/cpu/x86_64/include/
../
machine
rtems