Martin Stein 68cd5e8004 nic_router & timer* tests: prioritize timer driver
The timer driver should always be of the highest priority to avoid
problem with timers that have low max-counter values like the PIT
with only 53 ms.

Ref #2400
2017-09-07 11:47:15 +02:00
..
2017-08-17 11:04:20 +02:00
2017-08-30 10:00:00 +02:00
2017-05-31 13:16:11 +02:00
2017-05-31 13:16:11 +02:00
2017-08-17 11:04:19 +02:00
2017-08-30 10:00:00 +02:00