/cpukit/include/dev/flash/