4 - High resolution timers and dynamic ticks design notes
6 - High Precision Event Timer Driver for Linux
8 - subsystem for high-resolution kernel timers
10 - Summary of the different methods for the scheduler clock-interrupts management.
12 - Clock sources, clock events, sched_clock() and delay timer notes
14 - how to insert delays in the kernel the right (tm) way.
16 - timer usage statistics