GitHub repository: zurabob/rexos
Primary language: C
Description: RExOS - Realtime Exokernel Operating System