| ERC32 Ada Technical Summary: For mission-critical applications using the ERC32 spacecraft computer | ||
|---|---|---|
| Prev | Next | |
ERC32 Ada is shipped in binary format and source format. The binary version is created for a specific host computer (for example a Sun SPARC running Solaris 2.6) and for a specific target computer (the ERC32 Microprocessor) and will only run on that host for that target.
The source version consists of the standard GCC distribution, with the new code generator, assembler, disassembler etc., the relevant GNAT front end baseline, and run-time software written for ERC32 Ada.
ERC32 Ada is a customization of the GCC compiler, which can be easily re-targeted to any modern computer. Many targets are already supported by the standard GCC distribution, which should be checked before considering retargeting work.
Re-targeting requires considerable compiler expertise, appropriate host and target hardware, and a suitable compiler development system.