hard-real-time 话题在 GitHub 上没有填写简介，这里按 Star 数汇总最相关的热门仓库。
Constant-complexity, deterministic, very fast memory allocator (heap) for hard real-time high-integrity embedded systems. Allocation takes ≈120 cycles @ RP2350 irrespective of heap usage. There is little activity because the project is finished and does not require further changes.
面向 ARM Cortex-M 的事件驱动、抢占式、基于优先级的硬件 RTOS。
Real-time Actor-based Message Exchange Network 🍜
SuperTinyKernel RTOS is a lightweight, high-performance, deterministic, bare-metal C++ RTOS for resource-constrained embedded systems based on ARM Cortex-M and RISC-V MCUs. Includes x86 emulator. 100% code coverage with automated unit tests.
Simulation Framework for the Static Scheduler
Open-source bare-metal real-time operating system for ARMv8-A with multicore scheduling and EtherCAT master support.
Stoic-V: a deterministic RV32IM + Zba/Zbb/Zbs + Zicsr (M-mode) RISC-V soft core in SystemVerilog. No caches, speculation, or branch prediction, so timing is operand-independent and WCET is statically analysable. Drop-in replacement for the AMD MicroBlaze-V via the LMB v10 interface; closes 250 MHz on UltraScale+.
Sovereign Sub-Microsecond Decision Operating System & Multi-Tier Combinatorial Hypervisor by Apex Growth Systems LLC
Dual-Use Decentralized Covariance Intersection (CI) & Collaborative Multi-Robot SLAM Fusion Engine defeating data incest with golden-section trace minimization.
custom riscv embedded profile, replacing volume II (aka riscv privileged)
A C and C++ library package suitable for real time development
Decentralized Byzantine Fault Tolerant Mesh Arbiter and Quorum Slicing Engine
A deterministic, zero-heap C99 state estimation operator without libm for safety-critical MCUs.
Hard Real-Time Flexible Job Shop Multi-Robot Turnaround Logistics Engine
Real Time Systems Course. Project 1: Cyclic Scheduling
Real Time Systems Course. Project 2: Priority Scheduling
This repository contains a series of lab tutorials designed to explore Real-Time Operating Systems (RTOS) using RTEMS on the ERC32 simulator.