[Nix-dev] Various kernel options

[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'm not sure. Anyway, the point is that Grub lets you choose which
profile to boot.

Take care,
Peter