mirror of
https://github.com/genodelabs/genode.git
synced 2025-04-18 00:06:46 +00:00
0fefee804c
This interface has been obsoleted by the use of pseudo files, implemented in the context of issue #3519. Issue #4706
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.