[Nix-dev] Default kernel updated to 3.2

[Eelco Dolstra]

Hi all,

I've (finally!) changed the default Linux kernel in Nixos to 3.2.  If for some
reason you need the old 2.6.35, you should add

  boot.kernelPackages = pkgs.linuxPackages_2_6_35;

to your configuration.nix.

Please let me know if this change causes any problems.

-- 
Eelco Dolstra | http://www.st.ewi.tudelft.nl/~dolstra/