From b1363d4286e19c632d6e6e79c19185bed1df58c3 Mon Sep 17 00:00:00 2001
From: Astro <astro@spaceboyz.net>
Date: Wed, 16 Mar 2022 21:29:05 +0100
Subject: [PATCH] flake.nix: fix rpi-netboot config.txt

---
 flake.nix | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/flake.nix b/flake.nix
index 7a320558..53fb112d 100644
--- a/flake.nix
+++ b/flake.nix
@@ -209,12 +209,14 @@
               "${host}-boot" = pkgs.runCommand "tftproot" {} ''
                 mkdir -p $out
                 cp -rs ${pkgs.raspberrypifw}/share/raspberrypi/boot/* $out/
-                rm -f $out/kernel.img $out/initrd.img
-                ln -s ${config.system.build.kernel}/Image $out/kernel.img
+                rm -f $out/kernel8.img $out/initrd.img
+                ln -s ${config.system.build.kernel}/Image $out/kernel8.img
                 ln -s ${config.system.build.initialRamdisk}/initrd $out/initrd.img
                 cat << EOF > $out/config.txt
-                kernel kernel.img
+                kernel=kernel8.img
                 initramfs initrd.img followkernel
+                gpu_mem=64
+                arm_64bit=1
                 EOF
                 echo "dwc_otg.lpm_enable=0 console=ttyAMA0,115200 kgdboc=ttyAMA0,115200 console=tty1 verbose init=${config.system.build.toplevel}/init" > $out/cmdline.txt
               '';