CONFIG_PARAVIRT=y
CONFIG_PARAVIRT_GUEST=y

# CONFIG_SMP is not set
# CONFIG_NUMA is not set
# CONFIG_NEED_MULTIPLE_NODES is not set

# x86_64 breaks with a different CONFIG_PHYSICAL_START, currently
CONFIG_PHYSICAL_START=0x200000

# x86_64 breaks with CONFIG_SPARSEMEM_VMEMMAP, currently
# CONFIG_SPARSEMEM_VMEMMAP is not set

# CONFIG_KVM_GUEST is not set
# CONFIG_KVM_CLOCK is not set
