tobias/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-11-11 18:23:18 +01:00
Code Issues Packages Projects Releases Wiki Activity
nixpkgs/nixos/modules/system/boot/loader/raspberrypi
History
Lluís Batlle i Rossell d8a2bb86c0 Raspberry Pi 2 changes to make it boot. 
It boots, but some things still don't work:
1) Installation of DTBs
2) Boot of initrd

Booting still needs a proper config.txt in /boot, which could probably be
managed by NixOS.
2015-05-09 17:05:24 +00:00
..
builder.sh Raspberry Pi 2 changes to make it boot. 2015-05-09 17:05:24 +00:00
raspberrypi.nix Raspberry Pi 2 changes to make it boot. 2015-05-09 17:05:24 +00:00