/cpukit/score/cpu/or1k/