MIPS Atlas 4Kc Development Board
The MIPS Atlas 4Kc Development Board platform, based on the MIPS32 4Kc is supported by both eCos and RedBoot.
Device drivers are included for:
Hardware is available from:
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 Atlas 4Kc can be found in the RedBoot User's Guide. Board specific instructions, including installation instructions can be found here within the User's Guide.
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.
The eCos port, based on the original Red Hat RedBoot port, was contributed by eCosCentric