Use kernel timer to schedule execution