Linux kernel module to adjust the time stamp counter (TSC) - View it on GitHub