Speed up startup time for --stdout by using an empty kernel
authorjsteube <jens.steube@gmail.com>
Sun, 19 Jun 2016 12:33:50 +0000 (14:33 +0200)
committerjsteube <jens.steube@gmail.com>
Sun, 19 Jun 2016 12:33:50 +0000 (14:33 +0200)

No differences found