GitHub repository: nekorobov/kedos
Primary language: C
Description: simple OS for raspberry pi 2