Hi, On 18/11/12 20:58, Mathijs Kwik wrote: > Indeed I didn't think about 2.6.35 being our current headers, so > indeed we should keep 2.6.35 until stdenv-upgrades. FWIW, the stdenv branch already uses Linux 3.5.x for the kernel headers. -- Eelco Dolstra | LogicBlox, Inc. | http://nixos.org/~eelco/