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