GitHub repository: JingtaoXu/embox
Description: Modular and configurable OS for embedded applications