The Samsung SNDS100 platform, based on the Samsung S3C4510/KS32C50100 (ARM7TDMI) is supported by both eCos and RedBoot. This port is currently considered to be of Beta quality at this time.
The support for this platform was contributed to eCos, and the eCos maintainers are grateful on behalf of the open source community to all contributors. Note that some contributed ports may not have been tested.
Note that no proper device drivers are present in this port, although diagnostic output is available.
Contact Samsung for information on hardware availability.
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.
Specifications are available for the processor and are available on-line from the manufacturer's web site.
Instructions for installing RedBoot on the SNDS100 can be found in the RedBoot User's Guide.
Thanks to Grant Edwards who contributed the initial port.