mirror of
https://github.com/genodelabs/genode.git
synced 2025-05-06 02:28:30 +00:00
Three things were done: * Timouts are measured in an asynchronous way to be able to start counters after the potentially expensive RPC that starts the timeout. * Timeouts were increased from 45 and 15 seconds to 60 and 20 seconds because at least on Arndale, results were not stable enough. * Counting is done on 'unsigned long long' instead of 'unsigned' because with the higher timeouts, overflows occured. Fixes #1628