mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-24 07:46:42 +00:00
ba18ab7225
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 |
||
|---|---|---|
| .. | ||
| doc | ||
| include | ||
| lib | ||
| mk | ||
| run | ||
| src | ||