The situation is now slightly different. We are able to use ktimer_* facilities, it only remains to support CLOCK_THREAD_CPUTIME_ID, CLOCK_PROCESS_CPUTIME_ID and clock_id's created by clock_getcpuclockid() and pthread_getcpuclockid()
http://pubs.opengroup.org/onlinepubs/9699919799/functions/pthread_getcpuclockid.html http://pubs.opengroup.org/onlinepubs/9699919799/functions/clock_getcpuclockid.html The kernel support is available in HEAD (but not in STABLE-9). It could be easier to backport (kernel part of) http://www.freebsd.org/cgi/query-pr.cgi?pr=16841 into our kernel. Or even persuade upstream to MFC it into STABLE-9 ;-) Petr -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
