From 792f51f82e5b6ca5a8ff0d9d41dd3649ec92e8a0 Mon Sep 17 00:00:00 2001
From: Simon Parri <simonparri@ganzeria.com>
Date: Sat, 30 Aug 2025 23:18:13 -0500
Subject: hosts/carrot: Make kernel package be cross-compiled from x86_64

---
 hosts/carrot/default.nix | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/hosts/carrot/default.nix b/hosts/carrot/default.nix
index 813412f..57be3d6 100644
--- a/hosts/carrot/default.nix
+++ b/hosts/carrot/default.nix
@@ -1,6 +1,13 @@
 { inputs, lib, pkgs, ... }:
 
-let inherit (inputs) mobile-nixos;
+let
+  inherit (inputs)
+    mobile-nixos nixpkgs;
+  pkgsCross = import "${inputs.nixpkgs}" {
+    localSystem = "x86_64-linux";
+    crossSystem = "aarch64-linux";
+    overlays = pkgs.overlays;
+  };
 in
 {
   imports = [
@@ -29,6 +36,9 @@ in
     www.browser = true;
   };
 
+  mobile.boot.stage-1.kernel.package = lib.mkForce
+    (pkgsCross.callPackage "${mobile-nixos}/devices/pine64-pinephone/kernel" { });
+
   users.root.initialPassword = "00000000"
 
   # Ensures any rndis config from stage-1 is not clobbered by NetworkManager
-- 
cgit v1.2.3