The ARM Evaluator-7T platform, based on the Samsung S3C4510/KS32C50100 (ARM7TDMI) is supported by both eCos and RedBoot.
Device drivers are included for:
Source code for both eCos and RedBoot is available publically from eCos releases 2.0 and onwards, as well as from the anonymous CVS repository.
Prebuilt binaries of RedBoot are available for download for both ROM and RAM startup. Some necessary support files may also be included. Consult the RedBoot documentation on how to use these binaries.