15/Feb/2017

New release of MaRTE OS : Adaptated to GNAT-GPL-2016 (64bits host (...)

21/Aug/2014

New tool for MaRTE OS : emulator for the AFDX real-time network . (...)

21/Aug/2014

New release of MaRTE OS : Adapted to GNAT-GPL-2014 (...)
Download MaRTE OS!!

On-Going Work

MaRTE OS for Lego EV3 - Dic 2016 (University of Cantabria)

Port of MaRTE to the Lego EV3 brick.

Contact: Vicente Bincaz Calvo or Mario Aldea Rivas.

Cross development environment for MaRTE OS/RPi - Oct 2016 (University of Cantabria)

A cross development environment (compiler, boot, debugger, ...) for the MaRTE OS version for Raspberry Pi 1 and Raspberry Pi Zero.

Contact: Mario Aldea Rivas.

PiStorms on MaRTE OS for RPi - Sep 2016 (University of Cantabria)

Support for the PiStorms (a Raspberry Pi shield to interface LEGO mindstorms hardware).

Contact: Carlos Ayerbe González or Mario Aldea Rivas.

MaRTE MP - Jan 2015 (University of Cantabria)

Multiprocessor version of MaRTE OS for x86 multiprocessors.

Contact: Mario Aldea Rivas.