mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-31 14:40:54 +00:00
via the Genode build system. Avoids the need to maintain contrib patches on nova. Fixes #2162
via the Genode build system. Avoids the need to maintain contrib patches on nova. Fixes #2162