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. |
||
---|---|---|
.. | ||
b43-firmware | ||
b43-firmware-cutter | ||
firmware-linux-nonfree | ||
raspberrypi | ||
zd1211 |