From 99bf69cd043d30c8a913827a013f689a95d68763 Mon Sep 17 00:00:00 2001
From: OPNA2608 <opna2608@protonmail.com>
Date: Sun, 23 Nov 2025 00:21:17 +0100
Subject: [PATCH] linux: Strip vmlinux in out output when present

Because it isn't stripped by default, and is outside of the list of paths that we strip automatically.
dev output is expected to have an unstripped vmlinux, so stripping this one should be fine.
---
 pkgs/os-specific/linux/kernel/build.nix | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/pkgs/os-specific/linux/kernel/build.nix b/pkgs/os-specific/linux/kernel/build.nix
index b52959f681a2..90aa0c0b00c1 100644
--- a/pkgs/os-specific/linux/kernel/build.nix
+++ b/pkgs/os-specific/linux/kernel/build.nix
@@ -504,6 +504,12 @@ lib.makeOverridable (
         export HOME=${installkernel}
       '';
 
+    preFixup = ''
+      if [ -z "''${dontStrip-}" -a -e $out/vmlinux ]; then
+        strip -v -S -p $out/vmlinux
+      fi
+    '';
+
     requiredSystemFeatures = [ "big-parallel" ];
 
     passthru = rec {