Some of these binaries are build & linked using eCos.

For source for the flash drivers, see:

http://ecos.sourceware.org/