# CONFIG_MAX_SMP is not set
# CONFIG_MAXSMP is not set
# CONFIG_X86_CPU_DEBUG is not set
-CONFIG_CC_STACKPROTECTOR=y
CONFIG_PCI_IOV=y
#
#
CONFIG_XEN_GRANT_DEV_ALLOC=y
CONFIG_XEN_BACKEND=y
CONFIG_XEN_NETDEV_BACKEND=y
-CONFIG_LOCALVERSION="phase14"
+CONFIG_LOCALVERSION=""
CONFIG_XEN_BLKDEV_BACKEND=y
CONFIG_XEN_PCIDEV_BACKEND=y
CONFIG_XEN_SCSI_BACKEND=m
CONFIG_IKCONFIG=y
CONFIG_IKCONFIG_PROC=y
-# CONFIG_PREEMPT is not set
CONFIG_PREEMPT_NONE=y
+
CONFIG_IRQ_TIME_ACCOUNTING=y
# CONFIG_DEBUG_SHIRQ is not set
CONFIG_ASYNC_TX_DMA=y
CONFIG_NET_DMA=y
CONFIG_ASYNC_TX_DISABLE_PQ_VAL_DMA=y
-
+CONFIG_ASYNC_TX_DISABLE_CHANNEL_SWITCH=y
CONFIG_EDD=m
CONFIG_RT_GROUP_SCHED=y