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 | ||