6 Commits

Author	SHA1	Message	Date
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
Alexander Boettcher	513be78c05	seoul: adapt to nitpicker and use fixed seoul repo ... Fixes #1307	2014-12-05 11:01:24 +01:00
Alexander Boettcher	d006185d90	seoul: add script turning Genode scenario into VM ... Related to issue #1261	2014-10-10 13:02:31 +02:00
Alexander Boettcher	5d06078d27	x86 vmm: add general multiprocessor support ... * repos/ports/include/vmm - add support to specify cpu location during vCPU construction * seoul - update to latest seoul branch supporting smp - adjust to vmm interface changes - vCPUs will be put in a round robin fashion on the available host CPUs, beginning with the next CPU after the default (boot) CPU - number of vCPUs can be specified in run script * virtualbox - adjust to vmm interface changes - uses still one vCPU, placed on default (boot) CPU Fixes #1212	2014-07-24 10:18:07 +02:00
Norman Feske	6adbb9e438	ports: migrate to new ports mechanism ... Issue #1082	2014-05-27 11:14:43 +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