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