On Thu, 2013-04-25 at 15:09 +0200, Thomas Gleixner wrote:> Well, if your application is driven by an external interrupt, then you> do not need highres timers at all.Fair point.-- Steve