kernel: Allow timers with zero duration

fwsGonzo · fwsGonzo · commit dc49e4bb83d6 · 2017-08-23T18:52:36.000+02:00
diff --git a/src/kernel/timers.cpp b/src/kernel/timers.cpp
@@ -275,8 +275,6 @@ void Timers::timers_handler()
 }
 static void sched_timer(duration_t when, Timers::id_t id)
 {
-  assert(when != microseconds::zero());
-
   auto& system = get();
   system.scheduled.
     emplace(std::piecewise_construct,

Original file line number	Diff line number	Diff line change
`@@ -275,8 +275,6 @@ void Timers::timers_handler()`
`275`	`275`	`}`
`276`	`276`	`static void sched_timer(duration_t when, Timers::id_t id)`
`277`	`277`	`{`
`278`		`- assert(when != microseconds::zero());`
`279`		`-`
`280`	`278`	`auto& system = get();`
`281`	`279`	`system.scheduled.`
`282`	`280`	`emplace(std::piecewise_construct,`