[Nix-dev] Various kernel options

[Raahul Kumar]

Hi guys,

I want to enable both 3.13.9 and 3.14 kernels, in case the newer one turns
out be flakey.

After adding

boot.kernelPackages = pkgs.linuxPackages_3_13_9;

Then adding the 3.14 kernel, how do I revert back if things go badly? Hit
the tab button while booting grub and pick the last kernel?

Aloha,
RK.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20140414/8bac4251/attachment.html