1CONFIG_NO_HZ_IDLE=y 2CONFIG_HIGH_RES_TIMERS=y 3CONFIG_BLK_DEV_INITRD=y 4CONFIG_XTENSA_VARIANT_CUSTOM=y 5CONFIG_XTENSA_VARIANT_CUSTOM_NAME="dc233c" 6# CONFIG_XTENSA_VARIANT_MMU is not set 7CONFIG_XTENSA_UNALIGNED_USER=y 8CONFIG_PREEMPT=y 9CONFIG_MEMMAP_CACHEATTR=0x2cccccc7 10CONFIG_KERNEL_LOAD_ADDRESS=0x00003000 11# CONFIG_PCI is not set 12CONFIG_XTENSA_PLATFORM_XTFPGA=y 13CONFIG_CMDLINE_BOOL=y 14CONFIG_CMDLINE="earlycon=uart8250,mmio32,0xfd050020,115200n8 console=ttyS0,115200n8 memmap=0x04000000@0" 15CONFIG_DEFAULT_MEM_START=0x00000000 16CONFIG_BINFMT_FLAT=y 17CONFIG_NET=y 18CONFIG_PACKET=y 19CONFIG_UNIX=y 20CONFIG_INET=y 21# CONFIG_IPV6 is not set 22CONFIG_NETFILTER=y 23CONFIG_DNS_RESOLVER=y 24# CONFIG_WIRELESS is not set 25CONFIG_DEVTMPFS=y 26CONFIG_DEVTMPFS_MOUNT=y 27CONFIG_BLK_DEV_LOOP=y 28CONFIG_NETDEVICES=y 29CONFIG_MARVELL_PHY=y 30# CONFIG_WLAN is not set 31CONFIG_SERIAL_8250=y 32# CONFIG_SERIAL_8250_DEPRECATED_OPTIONS is not set 33CONFIG_SERIAL_8250_CONSOLE=y 34# CONFIG_HWMON is not set 35# CONFIG_VGA_CONSOLE is not set 36CONFIG_TMPFS=y 37CONFIG_FANOTIFY=y 38CONFIG_PRINTK_TIME=y 39# CONFIG_S32C1I_SELFTEST is not set 40