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>
This commit is contained in:
Isaac J. Manjarres
2025-07-19 00:44:12 +00:00
parent b8e0eec80b
commit 3f182ff745
-1
View File
@@ -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