mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 20:42:56 +01:00
This patch adds a new "terminal" file system type to Noux, which allows to create a "character device" file that is connected to a Genode 'Terminal' service. The 'Terminal' session created by the file system has the label "noux(terminal_fs)" to distinguish it from the 'Terminal' session created by Noux itself. Fixes #244.