nixos-config/common/hardware/raspberry-pi.nix
2024-04-17 22:28:27 +02:00

17 lines
333 B
Nix

{lib, ...}: {
# Disable systemd-boot
boot.loader = {
systemd-boot = {
enable = false;
};
efi.canTouchEfiVariables = false;
};
# Enables the generation of /boot/extlinux/extlinux.conf
boot.loader.generic-extlinux-compatible.enable = true;
# firmware
hardware.enableRedistributableFirmware = true;
}