2010/1/27 Eelco Dolstra <[email protected]>: > Hi, > > Llus Batlle wrote: > >> --- nixpkgs/branches/stdenv-updates/pkgs/top-level/platforms.nix >> (rev 0) >> +++ nixpkgs/branches/stdenv-updates/pkgs/top-level/platforms.nix >> 2009-12-19 12:12:24 UTC (rev 19046) > > This really doesn't belong in top-level but in pkgs/os-specific/linux/kernel > (since it only contains kernel configuration stuff).
Now I can't think of other information needed there other than that for kernel build, but in the future it can include more, I imagine. Maybe some gcc or bootloader parameters could be decided there, for each given platform. Now it is not done this way. I will try move it to the kernel directory, if you want. _______________________________________________ nix-dev mailing list [email protected] https://mail.cs.uu.nl/mailman/listinfo/nix-dev
