raspberrypi-bootloader: Adds firmwareConfig config option

The `firmwareConfig` option will be appended to `/boot/config.txt`.
This commit is contained in:
Bastian Köcher 2018-04-08 23:42:36 +02:00 committed by Tuomas Tynkkynen
parent 8bc970bbc7
commit 6ed495cf13

View file

@ -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/
'';
};
};
};