GitHub repository: EDI-Systems/M5P01_Prokaron
Primary language: C
Description: A tiny real-time kernel focusing on formal reliability and simplicity.