Seems to work
commita43d7785d4b385e670c9871e370acbb573704a9c
authorNicola Manica <nico@nicodeb.residential.it>
Wed, 1 Jul 2009 10:11:05 +0000 (1 12:11 +0200)
committerNicola Manica <nico@nicodeb.residential.it>
Wed, 1 Jul 2009 10:11:05 +0000 (1 12:11 +0200)
tree35d843cbc5c1b7e628d5822388e20fe612b69d70
parent409ac28b68ed0303a6046246f3a9aa7c2357a977
Seems to work

BUGS:   1. the last timer fires when the task is already dead
2. The task works for more than its period
kernel/sched.c
kernel/sched_cbs.c