FreeRTOS-Ada
Ada RTOS
Provides a set of Ada libraries and runtime systems for real-time systems on various microcontrollers.
This project contains various GNAT Ada Run Time Systems (RTSs) based on FreeRTOS for MCUs: the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics and the BBC micro:bit (v1); working on Espressif ESP32-H2 and RaspberryPi RP2350 (risc-v core)
65 stars
13 watching
14 forks
Language: Ada
last commit: 26 days ago
Linked from 1 awesome list
adacortexgnatrisc-vrtosrts
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jgrivera67/hirtos | An operating system written in Ada, designed to be safe and portable across multiple microcontrollers. | 35 |
 greiman/freertos-arduino | A set of libraries and utilities for building concurrent systems on AVR and other Arduino-based platforms. | 302 |
 stateos/stateos | Real-time operating system designed for deeply embedded applications with support for multiple architectures and standard C++ features. | 170 |
 hashmismatch/freertos.rs | A Rust wrapper for a popular real-time operating system | 232 |
 jimtremblay/nos | A lightweight, real-time operating system for microcontrollers. | 200 |
 lobaro/freertos-rust | A Rust framework for integrating Real-Time Operating Systems into embedded applications. | 371 |
 distortec/distortos | An object-oriented C++ RTOS designed for microcontrollers, providing a framework and library for building real-time applications. | 432 |
 stratifylabs/stratifyos | An embedded RTOS designed for ARM Cortex M microcontrollers with features like decoupled system and application binaries, POSIX style file systems, and hardware abstraction. | 116 |
 streetdogg/arm-rtos | An implementation of a round-robin pre-emptive scheduler and build environment for ARM Cortex M4 controllers. | 21 |
 rtic-rs/rtic | A real-time concurrency framework for building deterministic and efficient embedded systems on ARM Cortex-M microcontrollers. | 1,808 |
 rtos-from-scratch/rtos-from-scratch | A real-time operating system built from scratch in C using the ARM architecture | 18 |
 raphui/rnk | A real-time operating system targeting ARM-based microcontrollers with features like preemptive scheduling and POSIX API support. | 25 |
 adafruit/rtclib | A C++ library providing an interface to real-time clocks for Arduino microcontrollers. | 798 |
 trampolinertos/trampoline | A static Real-Time Operating System for small embedded systems | 619 |
 feilipu/arduino_freertos_library | A library providing compatibility and simplification of FreeRTOS for use on Arduino ATmega devices | 850 |