From 92a4b45e3eaa1b332a6316b5073bbd86f4d3e74b Mon Sep 17 00:00:00 2001
From: Tao Tien <29749622+taotien@users.noreply.github.com>
Date: Sat, 30 Sep 2023 18:35:49 -0700
Subject: [PATCH] disable systemd-boot for rpi

---
 systems/NObangers.nix | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/systems/NObangers.nix b/systems/NObangers.nix
index 2659629..5986133 100644
--- a/systems/NObangers.nix
+++ b/systems/NObangers.nix
@@ -12,6 +12,8 @@
 
   boot.initrd.availableKernelModules = [ "xhci_pci" "usbhid" ];
   boot.loader.grub.enable = false;
+  boot.loader.systemd-boot.enable = false;
+  boot.loader.efi.canTouchEfiVariables = false;
   boot.loader.generic-extlinux-compatible.enable = true;
   console.enable = false;
   powerManagement.cpuFreqGovernor = "ondemand";