/cpukit/itron/