2016-04-01 11:22:04 +02:00
|
|
|
CONFIG_NO_HZ_IDLE=y
|
|
|
|
CONFIG_HIGH_RES_TIMERS=y
|
|
|
|
CONFIG_BLK_DEV_INITRD=y
|
|
|
|
CONFIG_XTENSA_VARIANT_CUSTOM=y
|
|
|
|
CONFIG_XTENSA_VARIANT_CUSTOM_NAME="dc233c"
|
|
|
|
# CONFIG_XTENSA_VARIANT_MMU is not set
|
|
|
|
CONFIG_XTENSA_UNALIGNED_USER=y
|
|
|
|
CONFIG_PREEMPT=y
|
2019-02-12 23:24:13 +01:00
|
|
|
CONFIG_MEMMAP_CACHEATTR=0x2cccccc7
|
2017-03-14 19:58:56 +01:00
|
|
|
CONFIG_KERNEL_LOAD_ADDRESS=0x00003000
|
2016-04-01 11:22:04 +02:00
|
|
|
# CONFIG_PCI is not set
|
|
|
|
CONFIG_XTENSA_PLATFORM_XTFPGA=y
|
|
|
|
CONFIG_CMDLINE_BOOL=y
|
2017-03-14 19:58:56 +01:00
|
|
|
CONFIG_CMDLINE="earlycon=uart8250,mmio32,0xfd050020,115200n8 console=ttyS0,115200n8 memmap=0x04000000@0"
|
2016-04-01 11:22:04 +02:00
|
|
|
CONFIG_DEFAULT_MEM_START=0x00000000
|
|
|
|
CONFIG_BINFMT_FLAT=y
|
|
|
|
CONFIG_NET=y
|
|
|
|
CONFIG_PACKET=y
|
|
|
|
CONFIG_UNIX=y
|
|
|
|
CONFIG_INET=y
|
|
|
|
# CONFIG_IPV6 is not set
|
|
|
|
CONFIG_NETFILTER=y
|
|
|
|
CONFIG_DNS_RESOLVER=y
|
|
|
|
# CONFIG_WIRELESS is not set
|
|
|
|
CONFIG_DEVTMPFS=y
|
|
|
|
CONFIG_DEVTMPFS_MOUNT=y
|
|
|
|
CONFIG_BLK_DEV_LOOP=y
|
|
|
|
CONFIG_NETDEVICES=y
|
|
|
|
CONFIG_MARVELL_PHY=y
|
|
|
|
# CONFIG_WLAN is not set
|
|
|
|
CONFIG_SERIAL_8250=y
|
|
|
|
# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set
|
|
|
|
CONFIG_SERIAL_8250_CONSOLE=y
|
|
|
|
# CONFIG_HWMON is not set
|
|
|
|
# CONFIG_VGA_CONSOLE is not set
|
|
|
|
CONFIG_TMPFS=y
|
|
|
|
CONFIG_FANOTIFY=y
|
|
|
|
CONFIG_PRINTK_TIME=y
|
|
|
|
# CONFIG_S32C1I_SELFTEST is not set
|