Thomas Kerber cc5baf2d86

Various: Add support for raspberry pi 4.

2019-09-17 04:05:16 +01:00

..

generations-dir

…

generic-extlinux-compatible

nixos/hardware.deviceTree: new module

2019-08-07 13:51:22 +01:00

grub

Merge branch 'master' into staging

2019-09-02 23:25:24 +02:00

init-script

…

raspberrypi

Various: Add support for raspberry pi 4.

2019-09-17 04:05:16 +01:00

systemd-boot

…

efi.nix

…

loader.nix

…