CONFIG_TPMFRONT=y
CONFIG_TPM_TIS=n
CONFIG_TPMBACK=y
CONFIG_START_NETWORK=n
CONFIG_TEST=n
CONFIG_PCIFRONT=n
CONFIG_BLKFRONT=y
CONFIG_NETFRONT=n
CONFIG_FBFRONT=n
CONFIG_KBDFRONT=n
CONFIG_CONSFRONT=n
CONFIG_XENBUS=y
CONFIG_LWIP=n
CONFIG_XC=n
