Christian Prochaska 1bf7967463 Noux terminal file system ... 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.		2012-06-20 10:20:35 +02:00
..
noux_session	Noux terminal file system	2012-06-20 10:20:35 +02:00