OpenAADL / polyorb-hi-cLinks
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
☆12Updated 2 years ago
Alternatives and similar repositories for polyorb-hi-c
Users that are interested in polyorb-hi-c are comparing it to the libraries listed below
Sorting:
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆69Updated 3 years ago
- DTask is a scheduler for statically dependent tasks.☆26Updated 6 years ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- GNATcoverage: Coverage Analysis Tool☆43Updated this week
- This implementation of file system is developed by ELM Chan☆16Updated last month
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated last week
- Ada Embedded Network Stack☆24Updated 3 months ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 4 months ago
- tinysh: minimal shell☆30Updated 13 years ago
- Source repository for the GNAT Bare Metal BSPs☆67Updated last week
- serial com api☆38Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated 3 weeks ago
- Linux Kernel configuration tools - Windows Port☆17Updated 2 years ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆33Updated 3 years ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆20Updated last week
- Bare Metal demos using Ada and ravenscar runtimes☆21Updated 5 years ago
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆19Updated 3 months ago
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- Flight stack for an unmanned fixed-wing weather glider.☆15Updated 7 years ago
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆43Updated last month
- ☆19Updated last year
- MDX — A bare-metal / RTOS framework☆27Updated 2 weeks ago
- Simple blockchain in Ada☆21Updated this week
- OSAL free operating system abstraction for embedded systems. Supports pthreads, freertos, chibios, coocox, bertos and more... RTOS☆14Updated 11 years ago
- ☆33Updated 3 years ago
- M-Kernel embedded RTOS☆14Updated 12 years ago
- Ada Keystore - protect your sensitive data with secure storage☆35Updated 3 weeks ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated 2 weeks ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated last year
- ARM Cortex-M IO library C++☆25Updated 4 years ago