Excerpts from Sergey Mironov's message of Sun Jan 01 00:47:21 +0100 2012:
> I am still a novice in Nixos. I have found a variety of kernels available
>but don't understand how to ask nixos to install the one I prefer, namely v3
boot.kernelPackages = pkgs.linuxPackages_2_6_38;
Marc Weber