| 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 |
| CONFIG_KERNEL_LOAD_ADDRESS=0x00003000 |
| # CONFIG_PCI is not set |
| CONFIG_XTENSA_PLATFORM_XTFPGA=y |
| CONFIG_CMDLINE_BOOL=y |
| CONFIG_CMDLINE="earlycon=uart8250,mmio32,0xfd050020,115200n8 console=ttyS0,115200n8 memmap=0x04000000@0" |
| 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 |