genode/repos/gems/src
Norman Feske 8e6fcf107e Remove noux from SSH exec terminal
This patch replaces the former Noux instance by a sub init that hosts
the combination of VFS + fs_rom + bash. If bash exits, the whole sub
init exits, which implicitly tears down the terminal session used by the
sub init. The latter is expected by the test sequence.

Issue #3696
2020-03-13 19:46:51 +01:00
..
app text_area: fix interplay of shift with selection 2020-03-09 15:41:29 +01:00
lib vfs/pipe: let num_dirent return 0 2019-12-19 17:01:42 +01:00
server wm: destroy view before newly creating it 2020-02-20 12:08:16 +01:00
test Remove noux from SSH exec terminal 2020-03-13 19:46:51 +01:00