A demo of timer in the linux kernel