Sebastian Huber 08fbf18141 Initialize interrupt server earlier
This allows to initialize other basic services which depend on the
interrupt server.
2018-09-12 08:09:38 +02:00
..
2018-04-30 13:42:18 +02:00
2017-11-10 13:10:08 +01:00
2014-11-10 08:28:38 +01:00
2015-04-08 07:58:38 +02:00
2014-10-08 15:03:29 +02:00
2018-09-12 08:09:38 +02:00
2018-04-30 13:42:18 +02:00