6791fd18cc
vbox: use libc's 'gettimeofday()' function
...
Fixes #1363
2015-01-20 11:23:50 +01:00
6d391aae10
vbox: support routing serial output to Genode
...
Fixes #1308
2014-12-01 17:29:17 +01:00
604b831e1e
vbox: update to virtualbox 4.3.16
...
Fixes #1296
2014-11-28 12:02:40 +01:00
c5380674df
vbox: add network support
...
- support e1000 model by default and add support for pcnet model
- add Genode xml config option to enable network models
Fixes #1201
2014-07-24 10:18:06 +02:00
a42a5995cf
vbox: enable guest additions
...
Fixes #1157
2014-05-27 13:45:58 +02:00
ca971bbfd8
Move repositories to 'repos/' subdirectory
...
This patch changes the top-level directory layout as a preparatory
step for improving the tools for managing 3rd-party source codes.
The rationale is described in the issue referenced below.
Issue #1082
2014-05-14 16:08:00 +02:00
Christian Prochaska
Alexander Boettcher
Christian Helmuth
Norman Feske