mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-14 08:49:52 +00:00
82e6d7cf52
This patch removes the dependency of the deprecated Genode API, fixes the coding style, and removes the "random" file system (superseded by the VFS plugin mechanism). Ref #1987 |
||
---|---|---|
.. | ||
noux_session | ||
vbox_pointer | ||
vmm |