| .. |
|
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
|
|
|
|
blk_cache.run
|
sel4: add x86_64 support
|
2017-08-17 11:04:20 +02:00 |
|
blk.run
|
|
|
|
bomb.run
|
bomb.run: define resource preservation for init
|
2017-06-29 11:59:53 +02:00 |
|
clipboard.run
|
|
|
|
cpu_quota.run
|
|
|
|
cpufreq.run
|
|
|
|
demo.run
|
Increase cap quota for usb_drv
|
2017-08-30 10:00:00 +02:00 |
|
dynamic_config_loader.run
|
|
|
|
dynamic_config_slave.run
|
|
|
|
dynamic_config.run
|
|
|
|
fault_detection.run
|
|
|
|
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
|
fs_rom_update.run: add capability quota
|
2017-06-29 11:59:54 +02:00 |
|
gpio_drv.run
|
|
|
|
gpio_led.run
|
|
|
|
gpio_signal.run
|
|
|
|
init_smp.run
|
init_smp.run: limit spawned init's for x86_32
|
2017-11-06 13:57:19 +01:00 |
|
init.run
|
run/init: test abandoned any-child routes
|
2017-08-28 16:49:35 +02:00 |
|
input_filter.run
|
|
|
|
input.run
|
ps2_drv: drive mode indicator LEDs
|
2017-11-06 13:57:20 +01:00 |
|
kdb_uart_drv.run
|
|
|
|
loader.run
|
|
|
|
mixer.run
|
|
|
|
nic_loopback.run
|
|
|
|
panda_uart4_echo.run
|
|
|
|
part_blk_gpt.run
|
|
|
|
part_blk.inc
|
|
|
|
part_blk.run
|
|
|
|
pci.run
|
|
|
|
ram_fs_chunk.run
|
sel4: adapt timeouts of run scripts
|
2017-08-18 10:24:47 +02:00 |
|
report_rom.run
|
|
|
|
resource_request.run
|
|
|
|
resource_yield.run
|
|
|
|
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
|
|
|
|
rtc.run
|
|
|
|
sd_card_bench.run
|
sel4: add Wandboard Quad (iMX6) support
|
2017-08-17 11:04:21 +02:00 |
|
sd_card.run
|
|
|
|
signal.run
|
|
|
|
tar_rom.run
|
sel4: adapt timeouts of run scripts
|
2017-08-18 10:24:47 +02:00 |
|
terminal_crosslink.run
|
|
|
|
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
|
x86 timeout test: consider instable tsc (quickfix)
|
2017-08-30 10:00:01 +02: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
|
|
|
|
tz_vmm.run
|
|
|
|
uart.run
|
|
|
|
usb_block.run
|
Increase cap quota for usb_drv
|
2017-08-30 10:00:00 +02:00 |
|
vfs_stress_fs.run
|
|
|
|
vfs_stress_ram.run
|
|
|
|
vmm.run
|
|
|
|
weak_ptr.run
|
|
|
|
xml_generator.run
|
|
|
|
xml_node.run
|
sel4: adapt timeouts of run scripts
|
2017-08-18 10:24:47 +02:00 |
a0a7d5d165