Christian Helmuth
8bd0efced6
Remove obsolete RAM/CAP services from run scripts
...
Adapted launchpad and also the rm_fault and resource_request tests.
Issue #2407
2017-05-31 13:16:22 +02:00
Norman Feske
773e08976d
Assign cap quotas in run scripts and recipes
...
Issue #2398
2017-05-31 13:16:06 +02:00
Alexander Boettcher
0cf18081f9
virtualbox.run: extension to run multiple VMs
...
set use_gui to get 2 VMs
Issue #2338
2017-05-31 13:16:00 +02:00
Alexander Boettcher
5ebd8ae02e
vbox5: unified build dir adjustments
...
Issue #2338
2017-03-24 16:19:58 +01:00
Alexander Boettcher
188cab7d3a
vbox: distinguish muen, nova and generic binaries
2017-01-13 13:07:14 +01:00
Alexander Boettcher
0a32fcf4e0
vbox: avoid using deprecated env()
...
Issue #1987
2017-01-13 13:07:08 +01:00
Stefan Kalkowski
fc273f3840
run: remove vanished kernel/platform specifier
2017-01-13 13:07:01 +01:00
Norman Feske
ccffbb0dfc
Build dynamically linked executables by default
...
Fixes #2184
2016-12-14 11:22:27 +01:00
Adrian-Ken Rueegsegger
4c5694184c
Enable 32-bit Virtualbox scenarios for hw_x86_64_muen
...
* Announce VM service
* Disable USB uhci and ehci as only xhci is supported on hw_x86_64_muen
Issue #2016
2016-07-06 13:02:58 +02:00
Christian Prochaska
761db4bc73
vbox: config option for the virtual XHCI controller
...
This commit adds the VirtualBox configuration option
<config xhci="yes">
to enable the virtual XHCI controller.
Fixes #2028
2016-06-28 11:10:29 +02:00
Adrian-Ken Rueegsegger
8dbf449b91
Add fake usb_devices report ROM to virtualbox.run
2016-06-22 12:17:18 +02:00
Christian Prochaska
ea726a1f48
libc: pipe plugin
...
A libc plugin which implements pipes using a ring buffer.
Fixes #1947
2016-05-23 15:52:35 +02:00
Norman Feske
3bceefc9cf
Omit superfluous use of "CAP"/"SIGNAL" services
...
The functionality of the former "CAP" and "SIGNAL" services is now
provided by core's "PD" service.
2016-05-09 13:24:51 +02:00
Norman Feske
7f73e5e879
base: hide internals of the Thread API
...
This patch moves details about the stack allocation and organization
the base-internal headers. Thereby, I replaced the notion of "thread
contexts" by "stacks" as this term is much more intuitive. The fact that
we place thread-specific information at the bottom of the stack is not
worth introducing new terminology.
Issue #1832
2016-03-07 12:34:46 +01:00
Alexander Boettcher
dddb536e25
vbox: use initFromSettings for construction VM
2015-07-21 09:30:12 +02:00
Alexander Boettcher
e1896e3b44
run: add platform_drv include for usage by scripts
...
Related to #765 and used for issue #1542
2015-06-09 11:00:10 +02:00
Alexander Boettcher
c8a9b1802e
vbox: enable usb support for guests
...
Fixes #1438
2015-03-13 12:17:23 +01:00
Alexander Boettcher
2e1686558c
run: constrain physical memory for pci/acpi driver
...
Permit pci/acpi driver to constrain physical memory allocation to needs of
the driver it serves.
Fixes #1045
2015-02-16 13:40:38 +01:00
Christian Prochaska
6791fd18cc
vbox: use libc's 'gettimeofday()' function
...
Fixes #1363
2015-01-20 11:23:50 +01:00
Alexander Boettcher
6d391aae10
vbox: support routing serial output to Genode
...
Fixes #1308
2014-12-01 17:29:17 +01:00
Alexander Boettcher
604b831e1e
vbox: update to virtualbox 4.3.16
...
Fixes #1296
2014-11-28 12:02:40 +01:00
Alexander Boettcher
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
Alexander Boettcher
46124546f0
vbox: support to disable acpi
...
Issue #1201
2014-07-24 10:18:06 +02:00
Alexander Boettcher
605a5d7df2
vbox: use priorities in run scripts
...
By using priorities, we make sure that the timer gets scheduled whenever
it is able to run regardless of how much load is on the system.
2014-07-09 16:26:06 +02:00
Alexander Boettcher
671e36bc45
vbox: disable ioapic support by default
...
and add xml configuration option to switch it on if required. Avoids trouble
on Windows 7 guest where IRQ injected by VMMDev PCI device is not delivered.
If ioapic is required and Windows guest addition "hangs", look in file
DevPCI.cpp, function pciSetIrqInternal, variable fIsApicEnabled. If
config[0xde] == 0xbe
config[0xad] == 0xef
it works. "Deadbeaf" seems to/should be set in ACPI file vbox.dsl. Happens for
unknown reason not on Genode/Nova.
Fixes #1188
2014-06-26 12:06:00 +02:00
Christian Helmuth
a42a5995cf
vbox: enable guest additions
...
Fixes #1157
2014-05-27 13:45:58 +02:00
Norman Feske
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
