Norman Feske 82e6d7cf52 noux: API transition ... 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		2017-01-13 13:07:11 +01:00
..
noux_session	noux: API transition	2017-01-13 13:07:11 +01:00
vbox_pointer	vbox: enable video acceleration (VBVA)	2015-04-13 14:18:15 +02:00
vmm	seoul: remove deprecated env and config usage	2017-01-13 13:07:04 +01:00