Clone of Fiasco.OC and parts of L4RE that are used by the Genode framework.
Primary LanguageC++
No issues in this repository yet.