OpenAADL / polyorb-hi-cLinks
PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
☆13Updated 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☆70Updated 3 years ago
- DTask is a scheduler for statically dependent tasks.☆26Updated 6 years ago
- GNATcoverage: Coverage Analysis Tool☆42Updated this week
- tinysh: minimal shell☆30Updated 13 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆40Updated 2 weeks ago
- Robotics with Ada, ARM, and Lego☆17Updated last year
- OOSMOS - The Object Oriented State Machine Operating System.☆67Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆34Updated last week
- ☆16Updated 6 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆17Updated last month
- Library of AADL models☆45Updated 8 months ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆21Updated 6 months ago
- MDX — A BSD-style RTOS☆27Updated 3 weeks ago
- Mirror only see https://gitlab.rtems.org/rtems/docs/rtems-docs/☆10Updated 3 weeks ago
- Ada Embedded Network Stack☆24Updated 2 months ago
- Simple blockchain in Ada☆22Updated 5 years ago
- This implementation of file system is developed by ELM Chan☆16Updated 5 months ago
- serial com api☆38Updated 4 years ago
- Apex RTOS - A (somewhat) Linux compatible real time operating system☆33Updated 3 years ago
- M-Kernel embedded RTOS☆14Updated 12 years ago
- Open Platform for Autonomous VEhicle Systems☆22Updated 7 years ago
- littlefs module for Zephyr, not a mirror of the official littlefs repository☆19Updated 2 months ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated 3 weeks ago
- Fork of OpenOCD with NuttX thread support.☆24Updated 6 years ago
- MISRA-C:2004 simplest rules checker☆28Updated 14 years ago
- GNU toolchain for RISC-V, including GCC. Tweaked for microcontrollers.☆30Updated 4 months ago
- A collection of Ada sources for working with Linux based embedded computers, such as the BeagleBone Black or Raspberry Pi☆8Updated 4 months ago
- LibreRTOS C/C++ Portable Single-Stack RTOS☆40Updated last year
- Official micro-ROS RTOS☆90Updated 3 years ago
- An open source Arduino library for DSLogic wireless module☆24Updated 11 years ago