/cpukit/score/cpu/a29k/