genode

arora.run

dde_ipxe: remove (non-working) pcnet driver

2016-06-28 11:09:27 +02:00

debug_nitpicker.run

Ajdust run scenarios for strict policy matching

2016-06-22 12:21:41 +02:00

dosbox.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

gdb_monitor_interactive.run

GDB monitor: stability improvements

2016-05-23 15:52:49 +02:00

gdb_monitor_target_config.run

doc: update README, components.txt etc.

2016-05-26 15:54:17 +02:00

gdb_monitor.inc

GDB monitor: stability improvements

2016-05-23 15:52:49 +02:00

gdb_monitor.run

GDB monitor: nova_x86_64 platform support

2016-05-23 15:52:49 +02:00

genode_org.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

libc_noux.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

lighttpd.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +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

dde_linux: update wifi to 4.4.3

2016-05-26 15:54:11 +02:00

noux_bash.run

Remove tar archives after cpu_sampler_noux and noux_bash

2016-09-09 11:48:43 +02:00

noux_fork.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_gdb_dynamic.run

doc: update README, components.txt etc.

2016-05-26 15:54:17 +02:00

noux_gdb.inc

Move repositories to 'repos/' subdirectory

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

noux_gdb.run

GDB monitor: x86_64 support

2016-05-23 15:52:49 +02:00

noux_net_lighttpd.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_net_netcat.run

sel4: adjust nic_drv quota in noux_net_netcat

2016-11-08 15:26:34 +01:00

noux_shell_script.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_signals.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_terminal_fs.run

Ajdust run scenarios for strict policy matching

2016-06-22 12:21:41 +02:00

noux_tool_chain_auto.run

sel4: disable noux_tool_chain_auto.run

2016-08-10 11:07:57 +02: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

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_trace_fs.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_two_terminal_fs.run

Ajdust run scenarios for strict policy matching

2016-06-22 12:21:41 +02:00

noux_uname.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux_vim.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

noux.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

seoul-auto.run

seoul: support ide disk model

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

seoul-disc.run

Explicitly set Qemu disk-image format to raw

2016-04-11 11:51:44 +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

update report_rom configs to fix warning

2016-11-08 15:26:33 +01:00

test.vbox

vbox: enable usb support for guests

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

vbox_auto_genode_usb_hid.run

update report_rom configs to fix warning

2016-11-08 15:26:33 +01:00

vbox_auto_win7_64_raw.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_auto_win7_64.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_auto_win7_multiple.run

vbox: add auto run script booting multiple VMs

2016-11-08 15:26:29 +01:00

vbox_auto_win7_share.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_auto_win7_vbox5.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_auto_win7.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_auto_win81_64.run

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

vbox_pointer.run

update report_rom configs to fix warning

2016-11-08 15:26:33 +01:00

vbox_win.inc

vfs: pass Env and allocator when creating file-systems

2016-11-08 15:26:31 +01:00

virtualbox_auto.inc

run: support multiple VMs in vbox* run scripts

2016-11-08 15:26:29 +01:00

virtualbox.run

Enable 32-bit Virtualbox scenarios for hw_x86_64_muen

2016-07-06 13:02:58 +02:00

vm_auto_share.vbox

vbox: update to virtualbox 4.3.16

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

vm_genode_usb_hid.vbox

vbox: automated USB device pass-through test

2016-10-21 12:39:35 +02:00

vm_win7_64_raw.vbox

run: add vm running directly from block partition

2016-10-21 12:39:36 +02:00

vm_win7_64.vbox

vbox: better lapic tpr support

2016-10-21 12:39:31 +02:00

vm_win7.vbox

vbox: use ahci model in vbox_auto_win7.run

2016-06-28 11:09:26 +02:00

vm_win81_64.vbox

vbox: 64-bit guest support

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

vmm_utils.run

Omit superfluous use of "CAP"/"SIGNAL" services

2016-05-09 13:24:51 +02:00

win7_64_raw.vmdk

run: add vm running directly from block partition

2016-10-21 12:39:36 +02:00