# SPDX-License-Identifier: MIT
CONFIG_SMP=y
CONFIG_HOTPLUG_CPU=y
CONFIG_DEBUG_HOTPLUG_CPU0=y