GitHub repository: EDI-Systems/M5P1_MuProkaron
Primary language: C
Created: 2018-02-20T00:43:12Z
Description: A tiny real-time kernel focusing on formal reliability and simplicity