diff --git a/BUILD.bazel b/BUILD.bazel index 5fe2c03218a0..cfdc52fef435 100644 --- a/BUILD.bazel +++ b/BUILD.bazel @@ -392,7 +392,6 @@ kernel_build( "vmlinux.symvers", ], arch = "arm64", - build_config = "build.config.common", defconfig = "arch/arm64/configs/microdroid_defconfig", make_goals = [ "Image", @@ -427,7 +426,6 @@ kernel_build( "vmlinux.symvers", ], arch = "arm64", - build_config = "build.config.common", defconfig = "arch/arm64/configs/microdroid_defconfig", make_goals = [ "Image", @@ -458,7 +456,6 @@ kernel_build( srcs = [":kernel_x86_64_sources"], outs = X86_64_OUTS, arch = "x86_64", - build_config = "build.config.common", defconfig = "arch/x86/configs/microdroid_defconfig", make_goals = [ "bzImage", @@ -488,7 +485,6 @@ kernel_build( "Image", ], arch = "arm64", - build_config = "build.config.common", defconfig = "arch/arm64/configs/crashdump_defconfig", make_goals = [ "Image", @@ -516,7 +512,6 @@ kernel_build( srcs = [":kernel_x86_64_sources"], outs = X86_64_OUTS, arch = "x86_64", - build_config = "build.config.common", defconfig = "arch/x86/configs/crashdump_defconfig", make_goals = [ "bzImage",