From 80d4480778f581d5b73e4464eeb08ae0974e72c2 Mon Sep 17 00:00:00 2001
From: Bernardo Meurer <bernardo@meurer.org>
Date: Tue, 26 Apr 2022 20:23:50 -0700
Subject: [PATCH] sd-image-aarch64: deduplicate cm4 section

---
 nixos/modules/installer/sd-card/sd-image-aarch64.nix | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/nixos/modules/installer/sd-card/sd-image-aarch64.nix b/nixos/modules/installer/sd-card/sd-image-aarch64.nix
index dde98396d876..cf01005fdc8a 100644
--- a/nixos/modules/installer/sd-card/sd-image-aarch64.nix
+++ b/nixos/modules/installer/sd-card/sd-image-aarch64.nix
@@ -40,11 +40,6 @@
         arm_boost=1
 
         [cm4]
-        kernel=u-boot-rpi4.bin
-        enable_gic=1
-        armstub=armstub8-gic.bin
-        disable_overscan=1
-
         # Enable host mode on the 2711 built-in XHCI USB controller.
         # This line should be removed if the legacy DWC2 controller is required
         # (e.g. for USB device mode) or if USB support is not required.