GitHub repository: 123zmz123/M5P1_MuProkaron
Primary language: C
Description: A tiny real-time kernel focusing on formal reliability and simplicity