[Nix-dev] Switching the default kernel in configuration.nix

[Lluís Batlle]

For the kernel I use in 'boot':
kernelPackages = pkgs.kernelPackages_2_6_28;

2009/4/10 Tony White <tonywhite100 at googlemail.com>:
> I'd like to learn how to switch the default kernel from 2.6.25 please.
> I've tried changing the option in configuration.nix but without
> success. I think I'm missing something but can't see what.