Mobile system lab7 timer for Linux kernel