Add repeating subscription to timer driver
Add repeating subscription to timer driver

lizardo/tock-devel,lizardo/tock-devel,lizardo/tock-devel,google/tock-on-titan,google/tock-on-titan,google/tock-on-titan