mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-23 22:20:51 +00:00
36f4a8a485
- RPi3 successfully gets to U-Boot, but then fails to boot the kernel due to a missing device tree file. This should get added to the 4.8 kernel release once this patch is merged: https://lkml.org/lkml/2016/6/1/841 - RPi2 is not tested, but it should successfully boot the NixOS image. |
||
---|---|---|
.. | ||
cd-dvd | ||
netboot | ||
scan | ||
tools | ||
virtualbox-demo.nix |