cproc/genode_stuff
Some patches and scripts for Genode development
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Some patches and scripts for Genode development
Genode OS Framework