2009-11-08 09:01:53 +00:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
|
|
|
|
|
|
|
{
|
|
|
|
|
|
|
|
###### interface
|
|
|
|
|
|
|
|
options = {
|
|
|
|
|
|
|
|
system.sbin.modprobe = mkOption {
|
|
|
|
# should be moved in module-init-tools
|
|
|
|
internal = true;
|
|
|
|
default = pkgs.writeTextFile {
|
|
|
|
name = "modprobe";
|
|
|
|
destination = "/sbin/modprobe";
|
|
|
|
executable = true;
|
|
|
|
text =
|
|
|
|
''
|
|
|
|
#! ${pkgs.stdenv.shell}
|
2012-03-20 22:02:27 +00:00
|
|
|
export MODULE_DIR=${config.system.modulesTree}/lib/modules/
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2010-01-26 21:45:13 +00:00
|
|
|
# Fall back to the kernel modules used at boot time if the
|
|
|
|
# modules in the current configuration don't match the
|
|
|
|
# running kernel.
|
|
|
|
if [ ! -d "$MODULE_DIR/$(${pkgs.coreutils}/bin/uname -r)" ]; then
|
2012-03-20 22:02:27 +00:00
|
|
|
MODULE_DIR=/var/run/booted-system/kernel-modules/lib/modules/
|
2010-01-26 21:45:13 +00:00
|
|
|
fi
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2009-11-08 09:01:53 +00:00
|
|
|
exec ${pkgs.module_init_tools}/sbin/modprobe "$@"
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
description = ''
|
|
|
|
Wrapper around modprobe that sets the path to the modules
|
|
|
|
tree.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
boot.blacklistedKernelModules = mkOption {
|
|
|
|
default = [];
|
|
|
|
example = [ "cirrusfb" "i2c_piix4" ];
|
|
|
|
description = ''
|
|
|
|
List of names of kernel modules that should not be loaded
|
|
|
|
automatically by the hardware probing code.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2009-11-08 09:01:53 +00:00
|
|
|
boot.extraModprobeConfig = mkOption {
|
|
|
|
default = "";
|
|
|
|
example =
|
|
|
|
''
|
|
|
|
options parport_pc io=0x378 irq=7 dma=1
|
|
|
|
'';
|
|
|
|
description = ''
|
|
|
|
Any additional configuration to be appended to the generated
|
|
|
|
<filename>modprobe.conf</filename>. This is typically used to
|
|
|
|
specify module options. See
|
|
|
|
<citerefentry><refentrytitle>modprobe.conf</refentrytitle>
|
|
|
|
<manvolnum>5</manvolnum></citerefentry> for details.
|
|
|
|
'';
|
|
|
|
};
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2009-11-08 09:01:53 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
###### implementation
|
|
|
|
|
|
|
|
config = {
|
|
|
|
|
|
|
|
environment.etc = singleton
|
|
|
|
{ source = pkgs.writeText "modprobe.conf"
|
|
|
|
''
|
|
|
|
${flip concatMapStrings config.boot.blacklistedKernelModules (name: ''
|
|
|
|
blacklist ${name}
|
|
|
|
'')}
|
|
|
|
${config.boot.extraModprobeConfig}
|
|
|
|
'';
|
2011-11-01 15:39:30 +00:00
|
|
|
target = "modprobe.d/nixos.conf";
|
2009-11-08 09:01:53 +00:00
|
|
|
};
|
|
|
|
|
2009-11-08 09:08:50 +00:00
|
|
|
boot.blacklistedKernelModules =
|
|
|
|
[ # This module is for debugging and generates gigantic amounts
|
|
|
|
# of log output, so it should never be loaded automatically.
|
|
|
|
"evbug"
|
2009-11-08 09:01:53 +00:00
|
|
|
|
2011-08-24 23:37:40 +00:00
|
|
|
# This module causes ALSA to occassionally select the wrong
|
|
|
|
# default sound device, and is little more than an annoyance
|
|
|
|
# on modern machines.
|
|
|
|
"snd_pcsp"
|
|
|
|
|
2009-11-08 09:08:50 +00:00
|
|
|
# !!! Hm, Ubuntu blacklists all framebuffer devices because
|
|
|
|
# they're "buggy" and cause suspend problems. Maybe we should
|
|
|
|
# too?
|
|
|
|
];
|
2009-11-08 09:01:53 +00:00
|
|
|
|
2010-09-13 15:41:38 +00:00
|
|
|
system.activationScripts.modprobe =
|
|
|
|
''
|
|
|
|
# Allow the kernel to find our wrapped modprobe (which searches
|
|
|
|
# in the right location in the Nix store for kernel modules).
|
|
|
|
# We need this when the kernel (or some module) auto-loads a
|
|
|
|
# module.
|
|
|
|
echo ${config.system.sbin.modprobe}/sbin/modprobe > /proc/sys/kernel/modprobe
|
|
|
|
'';
|
2011-09-14 18:20:50 +00:00
|
|
|
|
2012-03-20 22:02:27 +00:00
|
|
|
environment.shellInit =
|
|
|
|
''
|
|
|
|
export MODULE_DIR=${config.system.modulesTree}/lib/modules/
|
|
|
|
'';
|
|
|
|
|
2009-11-08 09:08:50 +00:00
|
|
|
};
|
2009-11-08 09:01:53 +00:00
|
|
|
|
2009-11-08 09:08:50 +00:00
|
|
|
}
|