Christian Prochaska 584aaec2a5 noux: close files marked with the 'close_on_execve' flag on 'execve()' ... Fixes #2660		2018-02-09 13:34:21 +01:00
..
noux_session	noux: close files marked with the 'close_on_execve' flag on 'execve()'	2018-02-09 13:34:21 +01:00
vmm	pthread: prevent copy of Genode::Thread object	2018-01-17 12:14:34 +01:00