2012-01-12 18:17:01 +01:00
|
|
|
{pkgs, config, ...}:
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
2012-01-14 10:30:24 +01:00
|
|
|
hardware.enableAllFirmware = pkgs.lib.mkOption {
|
2012-01-12 18:17:01 +01:00
|
|
|
default = false;
|
|
|
|
type = pkgs.lib.types.bool;
|
|
|
|
description = ''
|
2012-01-14 10:30:24 +01:00
|
|
|
Turn on this option if you want to enable all the firmware shipped with Debian/Ubuntu.
|
2012-01-12 18:17:01 +01:00
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
###### implementation
|
|
|
|
|
2012-01-14 10:30:24 +01:00
|
|
|
config = pkgs.lib.mkIf config.hardware.enableAllFirmware {
|
2012-01-12 18:17:01 +01:00
|
|
|
hardware.firmware = [ pkgs.firmwareLinuxNonfree ];
|
|
|
|
};
|
|
|
|
|
|
|
|
}
|