From 3f182ff7454a489a19f497971a6d0395e4c2ae25 Mon Sep 17 00:00:00 2001
From: "Isaac J. Manjarres" <isaacmanjarres@google.com>
Date: Sat, 19 Jul 2025 00:44:12 +0000
Subject: [PATCH] ANDROID: Remove CPU hotplug support from microdroid

Microdroid doesn't have a need to be able to hotplug CPUs, so remove
support for it.

Bug: 432329937
Change-Id: Iec229e80d60024612ce2f2fed091c51a2773782d
Signed-off-by: Isaac J. Manjarres <isaacmanjarres@google.com>
---
 arch/arm64/configs/microdroid_defconfig | 1 -
 1 file changed, 1 deletion(-)

diff --git a/arch/arm64/configs/microdroid_defconfig b/arch/arm64/configs/microdroid_defconfig
index 357d19091f30..bfa1505b1f93 100644
--- a/arch/arm64/configs/microdroid_defconfig
+++ b/arch/arm64/configs/microdroid_defconfig
@@ -29,7 +29,6 @@ CONFIG_KEXEC_FILE=y
 CONFIG_ARM64_VA_BITS_39=y
 CONFIG_SCHED_MC=y
 CONFIG_NR_CPUS=32
-CONFIG_HOTPLUG_CPU=y
 CONFIG_PARAVIRT_TIME_ACCOUNTING=y
 CONFIG_ARM64_SW_TTBR0_PAN=y
 # CONFIG_ARM64_BTI_KERNEL is not set