CONFIG_XEN=y
CONFIG_XENCTRL=y
CONFIG_HVC_XEN=y
CONFIG_XEN_BLKDEV_FRONTEND=m
CONFIG_XEN_NETDEV_FRONTEND=m

# We need this for console, so compile in
CONFIG_XEN_FBDEV_FRONTEND=y
CONFIG_XEN_KBDDEV_FRONTEND=y
