F9 Microkernel: an L4-inspired real-time kernel for ARM Cortex-M
Summary
F9 Microkernel is an L4-inspired real-time microkernel targeting ARM Cortex-M, featuring hard determinism, MPU protection, tickless scheduling, and POSIX compatibility. The project provides advanced scheduling, IPC, memory management, hardware support, and development tools with documentation and quick-start instructions.