Ivan Jager 34aa4fe7a9 raspberrypi-bootloader: Update doc URL for config.txt options ...

The old URL was redirecting to more generic Rasbperry Pi documentation.

2022-07-10 06:58:32 -05:00

..

generations-dir

…

generic-extlinux-compatible

…

grub

…

init-script

…

raspberrypi

raspberrypi-bootloader: Update doc URL for config.txt options

2022-07-10 06:58:32 -05:00

systemd-boot

nixos/systemd-boot: fix systemd-boot-builder refusing to update

2022-06-01 11:49:07 +02:00

efi.nix

…

loader.nix

…