4 commits

Author	SHA1	Message	Date
Cristiano Giuffrida	3f82ac6a4e	services: Selectively enable stateful restart. ... Change-Id: Ibf6afa3041013ca714e28b673abb1329cd72d2d5	2015-09-17 13:36:01 +00:00
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
Lionel Sambuc	50a1aef12b	Move all services to /service ... This concerns all services, a.k.a drivers, filesystem drivers, network (inet, lwip, uds) servers, and the system servers. Change-Id: I626fd15c795e15af42df2d10d47fb4a703665d63	2014-07-31 16:00:31 +02:00
Lionel Sambuc	433d6423c3	New sources layout ... Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9	2014-07-31 16:00:30 +02:00