mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-07 11:50:24 +00:00
3868df9f8b
On okl4, pistachio, sel4 the test didn't come up fast enough in order to still experience the first configuration of NIC router #1. This commit doubles the lifetime of the first configuration of NIC router #1 to 4 seconds and raises the overall test timeout accordingly. Ref #4555
This source-code repository contains genuine low-level OS components and interfaces of Genode. It solely depends on the framework's base API.