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.
2026-01-22 15:41:28 +01:00
parent 0427dabcb1
commit 99bf69cd04
1 changed files with 6 additions and 0 deletions
@@ -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 {