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_BOOTX_TEXT is not set
CONFIG_CMDLINE_BOOL=y
CONFIG_CMDLINE="console=ttyPSC0,115200"
CONFIG_COMPAT_BRK=y
-# CONFIG_CPU_FREQ is not set
CONFIG_CRYPTO_AEAD2=y
CONFIG_CRYPTO_BLKCIPHER2=y
CONFIG_CRYPTO_BLKCIPHER=y
CONFIG_CRYPTO_RNG2=y
CONFIG_CRYPTO_WORKQUEUE=y
# CONFIG_CRYPTO_ZLIB is not set
-# CONFIG_DEBUG_BUGVERBOSE is not set
CONFIG_DEFAULT_AS=y
# CONFIG_DEFAULT_DEADLINE is not set
CONFIG_DEFAULT_IOSCHED="anticipatory"
# CONFIG_HZ_100 is not set
CONFIG_HZ=250
CONFIG_HZ_250=y
-# CONFIG_I2C is not set
CONFIG_INET_DIAG=y
CONFIG_INET_TCP_DIAG=y
CONFIG_INITRAMFS_SOURCE=""
# CONFIG_NET_PCI is not set
# CONFIG_NET_SCHED is not set
# CONFIG_NEW_LEDS is not set
-# CONFIG_NVRAM is not set
CONFIG_OF_DEVICE=y
CONFIG_OF_GPIO=y
CONFIG_OF=y
# CONFIG_PACKET_MMAP is not set
CONFIG_PAGEFLAGS_EXTENDED=y
CONFIG_PAGE_OFFSET=0xc0000000
+# CONFIG_PATA_MPC52xx is not set
# CONFIG_PARTITION_ADVANCED is not set
CONFIG_PCI_DOMAINS=y
# CONFIG_PCIEPORTBUS is not set
CONFIG_PCI_LEGACY=y
-CONFIG_PCI_SYSCALL=y
-CONFIG_PCI=y
CONFIG_PHYLIB=y
CONFIG_PHYSICAL_START=0x00000000
# CONFIG_PM_DEBUG is not set
# CONFIG_SLAB is not set
# CONFIG_SLOW_WORK is not set
CONFIG_SLUB=y
-# CONFIG_SMP is not set
# CONFIG_SPI_MPC52xx_PSC is not set
# CONFIG_SQUASHFS is not set
# CONFIG_STRIP_ASM_SYMS is not set
# CONFIG_TAU is not set
# CONFIG_TCP_CONG_ADVANCED is not set
CONFIG_TCP_CONG_CUBIC=y
-CONFIG_TICK_ONESHOT=y
CONFIG_TRACING_SUPPORT=y
# CONFIG_UDBG_RTAS_CONSOLE is not set
CONFIG_UNEVICTABLE_LRU=y