HiRTOS
RTOS
An operating system written in Ada, designed to be safe and portable across multiple microcontrollers.
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
35 stars
9 watching
2 forks
Language: Ada
last commit: about 2 years agoLinked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 simonjwright/freertos-ada | Provides a set of Ada libraries and runtime systems for real-time systems on various microcontrollers. | 67 |
 greiman/freertos-arduino | A set of libraries and utilities for building concurrent systems on AVR and other Arduino-based platforms. | 305 |
 hashmismatch/freertos.rs | A Rust wrapper for a popular real-time operating system | 234 |
 jimtremblay/nos | A lightweight, real-time operating system for microcontrollers. | 202 |
 lobaro/freertos-rust | A Rust framework for integrating Real-Time Operating Systems into embedded applications. | 377 |
 stateos/stateos | Real-time operating system designed for deeply embedded applications with support for multiple architectures and standard C++ features. | 170 |
 rtos-from-scratch/rtos-from-scratch | A real-time operating system built from scratch in C using the ARM architecture | 18 |
 distortec/distortos | An object-oriented C++ RTOS designed for microcontrollers, providing a framework and library for building real-time applications. | 439 |
 raphui/rnk | A real-time operating system targeting ARM-based microcontrollers with features like preemptive scheduling and POSIX API support. | 25 |
 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. | 117 |
 rtic-rs/rtic | A real-time concurrency framework for building deterministic and efficient embedded systems on ARM Cortex-M microcontrollers. | 1,849 |
 weston-embedded/uc-os3 | A preemptive, highly portable and scalable real-time kernel for embedded systems | 921 |
 ravss/havk | An experimental, minimalistic operating system designed with security as its primary focus through formal verification techniques. | 26 |
 sjdh02/tros | A small, bare-metal OS for the RPI3, written in Zig. | 49 |
 jameswalmsley/raspberrypi-freertos | A port of FreeRTOS to the Raspberry Pi, allowing developers to run an OS with comprehensive driver models and file systems on the device. | 484 |