Merge pull request #53 from realraum/install/serial
authorChristian Pointner <equinox@spreadspace.org>
Sat, 12 Jan 2019 23:25:57 +0000 (00:25 +0100)
committerGitHub <noreply@github.com>
Sat, 12 Jan 2019 23:25:57 +0000 (00:25 +0100)
make kernel command line options configurable


Trivial merge