From 04d78c6a3039cd6eff70e29ac99a6332e24e77b6 Mon Sep 17 00:00:00 2001
From: Infinidoge <infinidoge@inx.moe>
Date: Thu, 21 Nov 2024 15:28:26 -0500
Subject: [PATCH] use x86_64-linux for build platform and use cached kernel

---
 flake.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/flake.nix b/flake.nix
index 85ca4ca..72d6f2b 100644
--- a/flake.nix
+++ b/flake.nix
@@ -18,9 +18,12 @@
         rpi-nix.nixosModules.raspberry-pi
         rpi-nix.nixosModules.sd-image
         nixos-hardware.nixosModules.raspberry-pi-4
-        {
+        ({ lib, pkgs, ... }: {
           sdImage.compressImage = false;
-        }
+
+          nixpkgs.buildPlatform = "x86_64-linux";
+          boot.kernelPackages = lib.mkForce pkgs.linuxKernel.packages.linux_rpi4;
+        })
       ];
     };
   };