OpenAADL / polyorb-hi-cLinks
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
☆12Updated 3 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☆72Updated 3 years ago
- GNATcoverage: Coverage Analysis Tool☆43Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated last week
- DTask is a scheduler for statically dependent tasks.☆27Updated 7 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated last month
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆19Updated 5 months ago
- serial com api☆38Updated 4 years ago
- This implementation of file system is developed by ELM Chan☆16Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated 2 weeks ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated last week
- tinysh: minimal shell☆30Updated 13 years ago
- OpenGEODE - a free SDL State Machine editor for space applications...and more☆76Updated 6 months ago
- OOSMOS - The Object Oriented State Machine Operating System.☆68Updated last year
- MDX — A bare-metal / RTOS framework☆28Updated last week
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆33Updated last month
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated last week
- Ada projects for Make-with-Ada☆13Updated 4 years ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆22Updated this week
- Source repository for the GNAT Bare Metal BSPs☆68Updated last week
- HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada☆43Updated 2 months ago
- ☆15Updated 3 months ago
- Open Platform for Autonomous VEhicle Systems☆22Updated 7 years ago
- Flight stack for an unmanned fixed-wing weather glider.☆15Updated 8 years ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆42Updated last year
- Fork of OpenOCD with NuttX thread support.☆24Updated 6 years ago
- Ada Embedded Network Stack☆24Updated 4 months ago
- Linux Kernel configuration tools - Windows Port☆18Updated 2 years ago
- Simple blockchain in Ada☆21Updated last month
- An open source Arduino library for DSLogic wireless module☆27Updated 11 years ago