Hi :) Does anybody have experience with using hrtimers on debian amd64? I have found this page: http://sourceforge.net/projects/high-res-timers Did anyone give it a try? Best regards Michal