genode

ahci_bench.run

default ahci_drv and part_blk Block sessions to read-only

2017-08-28 16:49:51 +02:00

ahci_blk.run

default ahci_drv and part_blk Block sessions to read-only

2017-08-28 16:49:51 +02:00

audio_out_click.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

blk_cache.run

sel4: add x86_64 support

2017-08-17 11:04:20 +02:00

blk.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

bomb.run

bomb.run: define resource preservation for init

2017-06-29 11:59:53 +02:00

clipboard.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

cpu_quota.run

cpu_quota.run: be more tolerant on QEMU in general

2017-11-30 11:23:18 +01:00

cpufreq.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

demo.run

demo.run: showcase the use of 'nit_focus'

2017-11-30 11:23:15 +01:00

dynamic_config_loader.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

dynamic_config_slave.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

dynamic_config.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

fault_detection.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

fb_bench.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

framebuffer.run

uefi: adjust framebuffer.run to use fb_boot_drv

2017-08-28 16:49:47 +02:00

fs_log.run

sel4: add Wandboard Quad (iMX6) support

2017-08-17 11:04:21 +02:00

fs_report.run

fs_report.run: replace test with dedicated program

2017-08-17 10:59:43 +02:00

fs_rom_update.run

Increase test RAM quotas for sel4 64-bit

2017-11-06 13:57:23 +01:00

gpio_drv.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

gpio_led.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

gpio_signal.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

init_smp.run

init_smp.run: limit spawned init's for x86_32

2017-11-06 13:57:19 +01:00

init.run

Increase timeouts for some tests on Qemu

2017-11-06 13:57:23 +01:00

input_filter.run

input_filter: accelerate relative motion events

2017-11-09 12:18:43 +01:00

input.run

ps2_drv: drive mode indicator LEDs

2017-11-06 13:57:20 +01:00

kdb_uart_drv.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

loader.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

lx_block.run

lx_block: add file based Block driver for Linux

2017-11-30 11:23:04 +01:00

mixer.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

nic_loopback.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

panda_uart4_echo.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

part_blk_gpt.run

Test for part_blk with GPT

2017-05-31 13:16:11 +02:00

part_blk.inc

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

part_blk.run

Test for part_blk with GPT

2017-05-31 13:16:11 +02:00

pci.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

pointer.run

pointer: strip the last label element when matching labels

2017-11-30 11:23:22 +01:00

ram_fs_chunk.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

report_rom.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

resource_request.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

resource_yield.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

rom_blk.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

rom_filter.run

sel4: update to 5.2.0

2017-08-17 11:04:19 +02:00

rom_to_file.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

rtc.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

sd_card_bench.run

sel4: add Wandboard Quad (iMX6) support

2017-08-17 11:04:21 +02:00

sd_card.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

signal.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

tar_rom.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

terminal_crosslink.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

thread_join.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

timed_semaphore.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00

timeout.run

timeout x86_64 sel4: do not expect a precise time

2017-11-30 11:23:20 +01:00

timer_accuracy.run

nic_router & timer* tests: prioritize timer driver

2017-09-07 11:47:15 +02:00

timer.run

timer.run: end test on uncaught exceptions

2017-11-06 13:57:18 +01:00

trace.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

tz_vmm.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

uart.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

usb_block.run

usb: avoid pagefault during session destruction

2017-11-09 12:18:05 +01:00

vfs_stress_fs.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

vfs_stress_ram.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

vmm.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

weak_ptr.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

xml_generator.run

Remove obsolete RAM/CAP services from run scripts

2017-05-31 13:16:22 +02:00

xml_node.run

sel4: adapt timeouts of run scripts

2017-08-18 10:24:47 +02:00