genode/repos/ports/include
2016-01-08 15:07:58 +01:00
..
noux_session noux: getdtablesize support 2016-01-08 15:07:58 +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