From f9921c6df3f107fdd81a884bcfb7d2ed86ac3b34 Mon Sep 17 00:00:00 2001
From: Travis Staton <hello@travisstaton.com>
Date: Mon, 13 Feb 2023 08:44:29 -0500
Subject: [PATCH] don't add fdtdir to extlinux.conf

---
 rpi/default.nix | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/rpi/default.nix b/rpi/default.nix
index 1ee75e9..2cd320a 100644
--- a/rpi/default.nix
+++ b/rpi/default.nix
@@ -18,7 +18,12 @@
 
     loader = {
       grub.enable = lib.mkDefault false;
-      generic-extlinux-compatible.enable = lib.mkDefault true;
+      generic-extlinux-compatible = {
+        enable = lib.mkDefault true;
+        # We want to use the device tree provided by firmware, so don't
+        # add FDTDIR to the extlinux conf file.
+        useGenerationDeviceTree = false;
+      };
     };
   };
   hardware.enableRedistributableFirmware = true;