mirror of
https://github.com/genodelabs/genode.git
synced 2025-01-31 08:25:38 +00:00
4775dad26c
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.