HiRTOS
by jgrivera67
HiRTOS: a high-integrity multi-core RTOS kernel and separation kernel written in SPARK Ada
AI summary
RTOS
An operating system written in Ada, designed to be safe and portable across multiple microcontrollers.
- stars
- 35
- forks
- 2
- watching
- 9
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Ada RTOS
Provides a set of Ada libraries and runtime systems for real-time systems on various microcontrollers.
RTOS library
A set of libraries and utilities for building concurrent systems on AVR and other Arduino-based platforms.
RTOS wrapper
A Rust wrapper for a popular real-time operating system
RTOS
A lightweight, real-time operating system for microcontrollers.
RTOS framework
A Rust framework for integrating Real-Time Operating Systems into embedded applications.
RTOS
Real-time operating system designed for deeply embedded applications with support for multiple architectures and standard C++ features.
Real-time OS
A real-time operating system built from scratch in C using the ARM architecture
RTOS framework
An object-oriented C++ RTOS designed for microcontrollers, providing a framework and library for building real-time applications.
RTOS
A real-time operating system targeting ARM-based microcontrollers with features like preemptive scheduling and POSIX API support.
RTOS for ARM Cortex M
An embedded RTOS designed for ARM Cortex M microcontrollers with features like decoupled system and application binaries, POSIX style file systems, and hardware abstraction.
rtic-rs/rtic1.8K
RTOS
A real-time concurrency framework for building deterministic and efficient embedded systems on ARM Cortex-M microcontrollers.
RTOS kernel
A preemptive, highly portable and scalable real-time kernel for embedded systems
Security OS
An experimental, minimalistic operating system designed with security as its primary focus through formal verification techniques.
RPI OS
A small, bare-metal OS for the RPI3, written in Zig.
Raspberry Pi OS
A port of FreeRTOS to the Raspberry Pi, allowing developers to run an OS with comprehensive driver models and file systems on the device.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions HiRTOS.
