just a demo for linux kernel timer