From d782cafbd8080f6434b74f6ebb5d03cb63f63d90 Mon Sep 17 00:00:00 2001 From: HONG Yifan Date: Fri, 1 Nov 2024 11:05:33 -0700 Subject: [PATCH] ANDROID: add arch=arm64 explicitly. This is the default, but we prefer to make it explicit. Bug: 236012223 Change-Id: I754098d4d928a61c042a310ee43833ca17847dca Signed-off-by: HONG Yifan --- BUILD.bazel | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/BUILD.bazel b/BUILD.bazel index bc39e628f9c2..ec307b21fd69 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -398,6 +398,7 @@ kernel_build( "vmlinux", "vmlinux.symvers", ], + arch = "arm64", build_config = "build.config.common", defconfig = "arch/arm64/configs/microdroid_defconfig", make_goals = [ @@ -432,6 +433,7 @@ kernel_build( "vmlinux", "vmlinux.symvers", ], + arch = "arm64", build_config = "build.config.common", defconfig = "arch/arm64/configs/microdroid_defconfig", make_goals = [ @@ -961,6 +963,7 @@ kernel_build( "vmlinux", "vmlinux.symvers", ], + arch = "arm64", build_config = "build.config.rockpi4", defconfig = "arch/arm64/configs/gki_defconfig", dtstree = "//common-modules/virtual-device:rockpi4_dts", @@ -988,6 +991,7 @@ kernel_build( "vmlinux", "vmlinux.symvers", ], + arch = "arm64", build_config = "build.config.rockpi4", dtstree = "//common-modules/virtual-device:rockpi4_dts", make_goals = [ @@ -1268,6 +1272,7 @@ kernel_build( # Hack to actually check the build. # Otherwise, Bazel thinks that there are no output files, and skip building. outs = [".config"], + arch = "arm64", build_config = "build.config.common", defconfig = "//build/kernel/kleaf:allmodconfig", make_goals = [