GitHub repository: malsami/foc
Primary language: C++
Description: Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.