/cpukit/libmisc/