viric/nixpkgs — pull request #1 by aforemny (2012-12-07 15:56:32+00:00)
Title: Official Raspberry PI kernels

This pull requests adds the two official Raspberry PI kernels and kernel headers and modifies the raspberrypi platform attribute to use the stable one.