20dc750d6a
Update run scenarios for policy label matching
...
Issue #1766
2015-11-29 18:17:06 +01:00
92cb9eb06d
x86: support dynamic upgrades for platform driver
...
and, especially, for the device_pd. Account all resources per platform session
separately.
Fixes #1539
2015-11-29 18:17:02 +01:00
7c968d4c60
nitpicker: externalize xray policy
...
This patch removes the policy for controlling the X-Ray mode from
nitpicker to the separate component os/app/xray_trigger.
Fixes #1690
2015-11-04 14:09:28 +01:00
f7ad6cf4e6
seoul: support ide disk model
...
Issue #1702
2015-09-30 15:48:11 +02:00
36947cef3a
seoul: fix raw disc boot for 512B sectorsize
...
Fixes #1702
2015-09-30 15:48:11 +02:00
21e86227bc
seoul: make input available via bios
...
Enables us to interact with GRUB bootloader during early boot.
Issue #1702
2015-09-30 15:48:11 +02:00
1f40d9de6a
pci: convert to platform_drv
...
Fixes #1542
2015-06-22 14:43:34 +02:00
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
7910b5146f
ahci: new AHCI driver implementation
...
Supports native command queueing and multiple ports.
2015-05-20 17:52:58 +02:00
df50d1b29d
run: adjust autopilot run scripts to pci changes
...
Issue #1486
2015-05-06 10:55:19 +02:00
2002e1ccba
os: remove ATAPI driver
...
The driver will be superseeded soon by a new AHCI driver that supports
ATAPI devices. There is no IDE support in Gende anymore, however.
Issue #1456 .
2015-04-23 16:47:57 +02:00
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
513be78c05
seoul: adapt to nitpicker and use fixed seoul repo
...
Fixes #1307
2014-12-05 11:01:24 +01:00
d006185d90
seoul: add script turning Genode scenario into VM
...
Related to issue #1261
2014-10-10 13:02:31 +02:00
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
6adbb9e438
ports: migrate to new ports mechanism
...
Issue #1082
2014-05-27 11:14:43 +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
Emery Hemingway
Alexander Boettcher
Norman Feske
Sebastian Sumpf
Josef Söntgen