##################################################
# Config required to run Jailhouse Hypervisor
##################################################

CONFIG_HOTPLUG_CPU=y