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