Alexander Boettcher 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

..

arora.run

qt5: add clipboard support

2015-11-09 13:17:56 +01:00

debug_nitpicker.run

pci: convert to platform_drv

2015-06-22 14:43:34 +02:00

dosbox.run

Rename audio_out_drv to audio_drv

2015-08-21 10:59:46 +02:00

gdb_monitor_interactive.run

gdb: adapt gdb_monitor run scripts

2015-02-16 13:40:37 +01:00

gdb_monitor_target_config.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

gdb_monitor.inc

tool_chain: update GCC to version 4.8.4

2015-05-26 09:39:49 +02:00

gdb_monitor.run

tool_chain: update GCC to version 4.8.4

2015-05-26 09:39:49 +02:00

genode_org.run

Introduce 'spec' subdirectories to outline aspects

2015-09-16 13:58:50 +02:00

libc_noux.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

lighttpd.run

pci: convert to platform_drv

2015-06-22 14:43:34 +02:00

netperf_lwip_bridge.run

netperf: add wifi test

2015-02-27 11:48:07 +01:00

netperf_lwip_usb30.run

netperf: test usb30 also for x86

2015-05-20 17:52:57 +02:00

netperf_lwip_wifi.run

netperf: remove bssid from wifi tests

2015-11-04 14:09:25 +01:00

netperf_lwip.inc

netperf: adapt to link-state change changes

2015-03-27 11:53:14 +01:00

netperf_lwip.run

netperf: add wifi test

2015-02-27 11:48:07 +01:00

netperf_lxip_bridge.run

netperf: add wifi test

2015-02-27 11:48:07 +01:00

netperf_lxip_usb30.run

netperf: test usb30 also for x86

2015-05-20 17:52:57 +02:00

netperf_lxip_wifi.run

netperf: remove bssid from wifi tests

2015-11-04 14:09:25 +01:00

netperf_lxip.inc

netperf: adapt to link-state change changes

2015-03-27 11:53:14 +01:00

netperf_lxip.run

netperf: add wifi test

2015-02-27 11:48:07 +01:00

netperf.inc

netperf: remove bssid from wifi tests

2015-11-04 14:09:25 +01:00

noux_bash.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_fork.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

noux_gdb_dynamic.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_gdb.inc

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

noux_gdb.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_net_lighttpd.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_net_lynx_interactive.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_net_netcat.run

disable network tests on platforms w/o nic driver

2015-10-28 15:06:23 +01:00

noux_net_openssh_interactive.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_shell_script.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_signals.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

noux_terminal_fs.run

nitpicker: externalize xray policy

2015-11-04 14:09:28 +01:00

noux_tool_chain_auto.run

increase timeouts for noux_tool_chain_auto

2015-10-28 15:06:23 +01:00

noux_tool_chain_foc.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

noux_tool_chain_nova.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00

noux_tool_chain.inc

add missing .so files to noux_tool_chain.inc

2015-11-18 12:22:09 +01:00

noux_trace_fs.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux_two_terminal_fs.run

noux: Run script with two bash shells using the same file system

2015-11-18 12:22:05 +01:00

noux_vim.run

noux: adapt run scripts to platform_drv.inc reqs

2015-09-30 12:20:37 +02:00

noux.run

noux: exit with child

2015-06-03 12:53:48 +02:00

seoul-auto.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul-disc.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul-fancy.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul-genode.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul-kernelbuild.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul-net.run

seoul: support ide disk model

2015-09-30 15:48:11 +02:00

seoul.inc

x86: support dynamic upgrades for platform driver

2015-11-29 18:17:02 +01:00

test.vbox

vbox: enable usb support for guests

2015-03-13 12:17:23 +01:00

vbox_auto_win7_share.run

x86: use report_rom for acpi and pci driver

2015-06-09 11:00:12 +02:00

vbox_auto_win7.run

vbox: enable video acceleration (VBVA)

2015-04-13 14:18:15 +02:00

vbox_auto_win8.run

vbox: enable video acceleration (VBVA)

2015-04-13 14:18:15 +02:00

vbox_pointer.run

nitpicker: externalize xray policy

2015-11-04 14:09:28 +01:00

vbox_win.inc

x86: support dynamic upgrades for platform driver

2015-11-29 18:17:02 +01:00

virtualbox_auto.inc

x86: use report_rom for acpi and pci driver

2015-06-09 11:00:12 +02:00

virtualbox.run

vbox: use initFromSettings for construction VM

2015-07-21 09:30:12 +02:00

vm_auto_share.vbox

vbox: update to virtualbox 4.3.16

2014-11-28 12:02:40 +01:00

vm_win7.vbox

vbox: use multiple host CPUs

2015-08-21 10:58:59 +02:00

vm_win8.vbox

vbox: fix vm_win8.vbox network configuration

2015-10-09 16:39:39 +02:00

vmm_utils.run

Move repositories to 'repos/' subdirectory

2014-05-14 16:08:00 +02:00