genode/repos/ports/include
Christian Prochaska 2c558de891 vbox: 64-bit guest support
Fixes #1791
2015-11-29 18:17:06 +01:00
..
noux_session noux: reflect -no memory- case during process setup 2015-11-18 12:22:09 +01:00
vbox_pointer vbox: enable video acceleration (VBVA) 2015-04-13 14:18:15 +02:00
vmm vbox: 64-bit guest support 2015-11-29 18:17:06 +01:00