RTEMS: cpukit/score/src/opt