diff options
author | Yegor Timoshenko <yegortimoshenko@gmail.com> | 2017-12-24 15:13:25 +0000 |
---|---|---|
committer | Yegor Timoshenko <yegortimoshenko@gmail.com> | 2017-12-24 15:13:25 +0000 |
commit | 3743ae21f52ce986c3a091f29eff13749a3a342f (patch) | |
tree | 986e7243b0327a647f31e618833f5a894f08d626 /supermicro | |
parent | a74c9bdaf8ca2b1e5496db4fbd5780e84b5f4db0 (diff) |
treewide: only ever set unmergable options via lib.mkDefault
Also extract documentation from raspberry-pi/2/ profile.
Diffstat (limited to 'supermicro')
-rw-r--r-- | supermicro/x10sll-f/default.nix | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/supermicro/x10sll-f/default.nix b/supermicro/x10sll-f/default.nix index f60e6cf..10c6cc0 100644 --- a/supermicro/x10sll-f/default.nix +++ b/supermicro/x10sll-f/default.nix @@ -1,9 +1,7 @@ { config, pkgs, ... }: { - environment.systemPackages = with pkgs; [ - ipmitool - ]; + environment.systemPackages = with pkgs; [ ipmitool ]; boot.kernelModules = [ "jc42" "ipmi_devintf" "ipmi_si" "tpm_rng" ]; |