PEAKTOP Toolchain

Tool

The PEAKTOP Toolchain is the software toolchain developed within the MORAL project for the PEAKTOP processor architecture. It encompasses the formally-verified C compiler, the Real-Time Operating System (RTOS), and associated tooling that supports the novel Instruction Set Architecture (ISA) of the MORAL rad-hard microcontroller for space applications.

First seen 9/22/2026

Last seen 9/22/2026

Evidence 2 chunks

Wiki v1

WIKI

PEAKTOP Toolchain

The PEAKTOP Toolchain is the software toolchain associated with the PEAKTOP processor architecture, developed as a deliverable of the MORAL project (Horizon 2020 Space Theme Programme, Grant Agreement No. 870365), which ran from January 2020 to April 2023. It is explicitly listed as a component of the MORAL Software work-stream alongside the Compiler and RTOSK (Real-Time Operating System Kernel) ^[1].

Context within MORAL

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

CITATIONS

6 sources

6 citations — click to expand

[1] The PEAKTOP Toolchain is a deliverable of the MORAL project's MORAL Software agenda, covering the Compiler and RTOSK. Rad-hard Microcontroller with Open Access ISA for Space Applications

[2] The MORAL project is funded by the European Commission under Horizon 2020 Space Theme Programme (GA No. 870365) from January 2020 to April 2023. Rad-hard Microcontroller with Open Access ISA for Space Applications

[3] The MORAL microcontroller includes a formally-verified C compiler, RTOS, and toolchain. Rad-hard Microcontroller with Open Access ISA for Space Applications

[4] PEAKTOP is IHP's own processor with an open ISA providing mixed-criticality support, including dynamically grouped GPR banks and DMR/TMR/QMR fault tolerance. Rad-hard Microcontroller with Open Access ISA for Space Applications

[5] SYSGO is identified as the RTOS development partner for the MORAL project, branded as 'Embedding Innovations'. Rad-hard Microcontroller with Open Access ISA for Space Applications

[6] The PEAKTOP Toolchain status was reported at the 9th International Workshop on Analogue and Mixed-Signal Integrated Circuits for Space Applications (AMICSA '22) on 3 June 2022. Rad-hard Microcontroller with Open Access ISA for Space Applications