ANDROID: fips140: strip debug symbols from fips140.ko

fips140.ko is intended to be used in production, so strip the debug symbols from it to reduce the binary size. Bug: 188620248 Test: tools/bazel run //common:fips140_dist && stat ./out/fips140/dist/fips140.ko Change-Id: I5a181417409f83475652013f6abffbe81fa5dbd2 Signed-off-by: Eric Biggers <ebiggers@google.com>
2025-04-07 19:08:38 +00:00
parent 939e767b20
commit e873da1ae9
1 changed files with 1 additions and 0 deletions
@@ -1382,6 +1382,7 @@ kernel_build(
    makefile = ":Makefile",
    module_outs = ["crypto/fips140.ko"],
    post_defconfig_fragments = ["arch/arm64/configs/fips140_gki.fragment"],
+    strip_modules = True,
 )

 kernel_abi(