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
..
2016-05-06 21:41:21 +02:00
2017-03-08 09:04:18 +01:00
2018-08-02 10:25:42 +02:00
2017-01-10 11:03:32 +01:00
2017-07-10 08:33:46 +02:00
2016-05-06 21:41:21 +02:00