/cpukit/score/cpu/mips64orion/