From: Christian Pointner Date: Thu, 10 Jan 2019 00:07:16 +0000 (+0100) Subject: make kernel command line options configurable. X-Git-Url: https://git.realraum.at/?a=commitdiff_plain;h=655d3a9bee11c8d66d281a9f7e144825b9b935d4;hp=655d3a9bee11c8d66d281a9f7e144825b9b935d4;p=noc.git make kernel command line options configurable. fixes #51 ---