Fixing the doublePatchelf in initrd; it should be for all ARM.
Adding an untested bootloader for raspberrypi
Fixing the init= in raspberrypi loader.
Adding vaapi drivers to nixos

Enabling nvidia and intel drivers by default. I tried both,
and they work fine with "vlc --ffmpeg-hw".
Adding support of the Intel 2230 wireless card to nixos

It should go to the livecd, added to the all-hardware profile.
Yes, the card is called 2230, the ucode called 2030:
http://wireless.kernel.org/en/users/Drivers/iwlwifi
Changing ensureDir -> mkdir -p

(told by shlevy)
Fixing the doublePatchelf in initrd; it should be for all ARM.
Merge branch 'raspberrypi'

Adding support for the kind of bootloader in raspberrypi. Disable grub,
disable generationsDir, enable boot.loader.raspberrypi.

Usual layout expected: /boot being the first vfat the board reads blobs from.
systemd: Allow whitespace in environment values
Add gummiboot module.

We should probably eventually get rid of the old direct boot stub approach.
Merge branch 'gummiboot' into upstream-master