make kernel command line options configurable.
authorChristian Pointner <equinox@realraum.at>
Thu, 10 Jan 2019 00:07:16 +0000 (01:07 +0100)
committerChristian Pointner <equinox@realraum.at>
Sat, 12 Jan 2019 22:48:22 +0000 (23:48 +0100)
fixes #51


No differences found