2 # Config options for config.flavour.virtual automatically generated by splitconfig.pl
4 CONFIG_ARCH_DMA_ADDR_T_64BIT=y
5 CONFIG_ARCH_PHYS_ADDR_T_64BIT=y
6 # CONFIG_DEBUG_RODATA is not set
7 # CONFIG_HIGHMEM4G is not set
9 # CONFIG_INTEL_IDLE is not set
11 CONFIG_PHYSICAL_ALIGN=0x100000
12 CONFIG_PHYSICAL_START=0x100000
13 CONFIG_PHYS_ADDR_T_64BIT=y
14 CONFIG_SCSI_SPI_ATTRS=y
15 CONFIG_SCSI_SYM53C8XX_2=y
16 CONFIG_SYS_HYPERVISOR=y
22 CONFIG_XEN_BLKDEV_FRONTEND=y
23 CONFIG_XEN_NETDEV_FRONTEND=y
24 CONFIG_XEN_PRIVILEGED_GUEST=y
25 CONFIG_XEN_XENBUS_FRONTEND=y