genode/repos/ports/src
2015-05-26 09:39:49 +02:00
..
app CPU session: apply quota via relative weightings 2015-05-06 10:55:16 +02:00
lib libc_noux: remove dependency on 'platform_env.h' 2015-05-26 09:39:47 +02:00
noux Noux: implement the 'F_GETFL' 'fcntl()' command for pipes 2015-05-26 09:39:48 +02:00
noux-pkg tool_chain: update GCC to version 4.9.2 2015-05-26 09:39:49 +02:00
test x86 vmm: add general multiprocessor support 2014-07-24 10:18:07 +02:00
virtualbox vbox: enable USB (OHCI) pass-through support 2015-05-26 09:39:46 +02:00