GitHub repository: Acidburn0zzz/genode
Primary language: C++
Description: Genode OS Framework