[Nix-dev] Do we need i8042 in initrd?

[Peter Simons]

Hi guys,

the file nixos/modules/system/boot/kernel.nix defines:

    boot.initrd.kernelModules =
      [ ...
        # For usual AT keyboards.
        "i8042"
      ];

When I boot, however, I'm seeing warnings, complaining that this module
couldn't be loaded because it doesn't exist. Is it possible that this
kernel module has become obsolete in Linux 3.x? Do we still need (to
try) to load it in initrd?

Take care,
Peter