# CONFIG_X86_SUMMIT is not set
# CONFIG_X86_ES7000 is not set
CONFIG_X86_32_IRIS=m
+CONFIG_XEN_MAX_DOMAIN_MEMORY=64
# CONFIG_LGUEST_GUEST is not set
-CONFIG_X86_CYCLONE_TIMER=y
# CONFIG_M386 is not set
# CONFIG_M486 is not set
# CONFIG_M586 is not set
# CONFIG_PCI_GODIRECT is not set
CONFIG_PCI_GOANY=y
CONFIG_PCI_BIOS=y
+# CONFIG_PCI_PRI is not set
+# CONFIG_PCI_PASID is not set
# CONFIG_ISA is not set
# CONFIG_MCA is not set
# CONFIG_SCx200 is not set
# CONFIG_HOTPLUG_PCI_SHPC is not set
#
-# Protocols
+# Misc devices
#
CONFIG_IBM_ASM=m
# CONFIG_SGI_IOC4 is not set
# CONFIG_EDAC_R82600 is not set
#
-# Speakup console speech
+# Android
#
CONFIG_TC1100_WMI=m
#
CONFIG_CRYPTO_AES_586=y
# CONFIG_CRYPTO_SALSA20_586 is not set
+CONFIG_CRYPTO_SERPENT_SSE2_586=m
CONFIG_CRYPTO_TWOFISH_586=m
#