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

[Tony White]

2009/4/10 Lluís Batlle <viriketo at gmail.com>:
> 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.
>

Thanks, I'll try that now.