David van Moolenbroek 6c31058de4 sched: simplify
- do not use timers when there is only ever one timer;
- do not include kernel header files for no reason;
- do not reply to notifications ever.

Change-Id: I5817e22c1b46c4e30e5135069df318af0b4f87fd
2015-08-31 12:55:30 +00:00
2015-07-28 21:56:19 +00:00
2015-06-07 14:38:12 +00:00
2015-06-29 10:58:16 +00:00
2015-04-15 09:47:27 +02:00
2014-08-07 14:27:32 +02:00
2014-07-31 16:00:30 +02:00
2015-07-28 21:56:19 +00:00
2014-07-28 17:05:59 +02:00
2015-08-31 12:55:30 +00:00
2014-07-28 17:05:59 +02:00
2015-07-26 11:57:04 +00:00
2014-07-28 17:05:57 +02:00
2010-01-21 10:16:05 +00:00
Description
No description provided
201 MiB