mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-28 17:48:53 +00:00
8f1f4f2652
By adding an additional synchronization point in the form of a matched log message, this patch makes the timing behavior of the "test changing provided services" step more deterministic. Without it, the scheduling of OKL4 and base-hw resulted in a merge of two config updates into one. Issue #3079 |
||
---|---|---|
.. | ||
drivers_interactive-linux | ||
drivers_interactive-pbxa9 | ||
drivers_interactive-pc | ||
test-init | ||
test-lx_block | ||
test-part_blk_gpt | ||
test-part_blk_mbr |