Some of these binaries are build & linked using eCos. For source for the flash drivers, see: http://ecos.sourceware.org/