/cpukit/libmisc/dummy/
../
default-configuration.c