CONFIG_HOTPLUG_CPU=y
CONFIG_PCI_HOST_GENERIC=y

CONFIG_HOTPLUG_PCI=y
CONFIG_IVSHMEM_NET=y

CONFIG_UIO=y
CONFIG_UIO_IVSHMEM=y
CONFIG_VIRT_DRIVERS=y
CONFIG_JAILHOUSE_DBGCON=y