CONFIG_ARCH_WANT_OPTIONAL_GPIOLIB=y
# CONFIG_ARPD is not set
CONFIG_AUDIT_ARCH=y
-CONFIG_BASE_SMALL=0
# CONFIG_BINARY_PRINTF is not set
CONFIG_BITREVERSE=y
CONFIG_BLK_DEV_LOOP=y
CONFIG_CONSOLE_TRANSLATIONS=y
CONFIG_CRC16=y
# CONFIG_CRYPTO is not set
-# CONFIG_DEBUG_BUGVERBOSE is not set
# CONFIG_DEBUG_FS is not set
# CONFIG_DEFAULT_UIMAGE is not set
CONFIG_DEVKMEM=y
CONFIG_PAGE_OFFSET=0xc000000000000000
# CONFIG_PARTITION_ADVANCED is not set
# CONFIG_PCI_DOMAINS is not set
+# CONFIG_PCI is not set
# CONFIG_PCI_SYSCALL is not set
CONFIG_PHYS_ADDR_T_64BIT=y
CONFIG_PHYSICAL_START=0x00000000