Re: [Nix-dev] Various kernel options

2014-04-14 Thread Peter Simons
Hi Raahul, a NixOS configuration cannot contain more than one kernel. However, you can have more than one bootable NixOS configuration installed on the same machine. Check out the "profile" stuff in the nixos-rebuild man page. There might be additional resources on this subject in the Wiki, but I'

[Nix-dev] Various kernel options

2014-04-13 Thread 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?