mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-24 11:14:26 +00:00
Rarely. it might happen that events got received shortly before the complete set of relevant USB devices got recognized. Filter more output in test metric to stay robust.