Samuel Dionne-Riel f9d5de05d2 sd-image-raspberrypi4: Use u-boot for booting ...

This includes setting up everything for the mainline Raspberry Pi 4
image.

In fact, the only difference left in the Raspberry Pi 4-specific image
is the kernel from the vendor.

2020-12-31 18:20:49 +01:00

..

cd-dvd

sd-image-raspberrypi4: Use u-boot for booting

2020-12-31 18:20:49 +01:00

netboot

Revert "Revert "Merge master into staging-next""

2020-02-05 19:41:25 +01:00

scan

[bot] nixos/*: remove unused arguments in lambdas

2018-07-20 20:56:59 +00:00

tools

Merge pull request #80769 from chkno/nixos-enter-tmp

2020-12-31 01:37:41 +01:00

virtualbox-demo.nix

ova: remove stateVersion

2019-03-09 14:25:05 -05:00