Update of "maRTE OS"

Many hyperlinks are disabled.
Use anonymous login to enable hyperlinks.

Overview

Artifact ID: 5721685222606c845c86c965928badfb77132fd7
Page Name:maRTE OS
Date: 2017-07-04 07:50:27
Original User: hothing
Mimetype:text/x-markdown
Parent: aa28b04b0ec7dd23ffb5b72df5170bd591b23023 (diff)
Content

MaRTE OS is a Hard Real-Time Operating System for embedded applications that follows the Minimal Real-Time POSIX.13 subset. It provides an easy to use and controlled environment to develop Multi-Thread Real-Time applications. Main characteristics of MaRTE OS kernel:

  • Supports mixed language applications in Ada and C.
  • Supported architectures: x86 (32bits), Raspberry Pi, Linux.
  • Full Ada tasking support (GNAT run-time library adapted to MaRTE)
  • Offers the services defined in POSIX.13: pthreads, mutexes, condvars, ...
  • All services have a time-bounded response (including dynamic memory allocation with TLSF).
  • Single memory address space shared by the multi-thread application and MaRTE OS.
  • Available under the GNU General Public License 2.
  • Based on the AdaCore GNU toolchain.
  • Implements most of the Ada2012 Real-Time Annex

See more about maRTE OS