CONFIG_LIBC=y
CONFIG_PARAVIRT=n
CONFIG_BLKFRONT=n
CONFIG_NETFRONT=n
CONFIG_FBFRONT=n
CONFIG_KBDFRONT=n
CONFIG_CONSFRONT=n
CONFIG_LWIP=n
CONFIG_9PFRONT=y
CONFIG_BALLOON=y
CONFIG_KEXEC=y
CONFIG_KEXEC_MODULE_PAGES=18
XEN_INTERFACE_VERSION=__XEN_LATEST_INTERFACE_VERSION__
