From 6ed495cf13e55f1884204668b92facce5ee6896f Mon Sep 17 00:00:00 2001
From: Bastian Köcher <git@kchr.de>
Date: Sun, 8 Apr 2018 23:42:36 +0200
Subject: raspberrypi-bootloader: Adds `firmwareConfig` config option

The `firmwareConfig` option will be appended to `/boot/config.txt`.
---
 nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

(limited to 'nixos/modules/system')

diff --git a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
index adf13ce6098c..f974d07da9e5 100644
--- a/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
+++ b/nixos/modules/system/boot/loader/raspberrypi/raspberrypi.nix
@@ -45,7 +45,7 @@ let
       arm_control=0x200
     '' + optional cfg.uboot.enable ''
       kernel=u-boot-rpi.bin
-    '');
+    '' + optional (cfg.firmwareConfig != null) cfg.firmwareConfig);
 
 in
 
@@ -89,6 +89,15 @@ in
         };
 
       };
+
+      firmwareConfig = mkOption {
+        default = null;
+        type = types.nullOr types.string;
+        description = ''
+          Extra options that will be appended to <literal>/boot/config.txt</literal> file.
+          For possible values, see: https://www.raspberrypi.org/documentation/configuration/config-txt/
+        '';
+      };
     };
   };
 
-- 
cgit 1.4.1