| CONFIG_BUILTIN_DTB="dev88" |
| # CONFIG_SWAP is not set |
| CONFIG_LOG_BUF_SHIFT=14 |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_EXPERT=y |
| CONFIG_KALLSYMS_ALL=y |
| # CONFIG_BLK_DEV_BSG is not set |
| # CONFIG_IOSCHED_DEADLINE is not set |
| CONFIG_ETRAX_FAST_TIMER=y |
| CONFIG_ETRAXFS=y |
| CONFIG_ETRAX_DRAM_SIZE=32 |
| CONFIG_ETRAX_FLASH1_SIZE=4 |
| CONFIG_ETRAX_MEM_GRP1_CONFIG=0x40688 |
| CONFIG_ETRAX_MEM_GRP3_CONFIG=0x3 |
| CONFIG_ETRAX_MEM_GRP4_CONFIG=0x10040 |
| CONFIG_ETRAX_SDRAM_GRP0_CONFIG=0x958 |
| CONFIG_ETRAX_SDRAM_TIMING=0x824a |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| # CONFIG_INET_LRO is not set |
| # CONFIG_IPV6 is not set |
| CONFIG_NETFILTER=y |
| CONFIG_ETRAX_ETHERNET=y |
| CONFIG_ETRAX_AXISFLASHMAP=y |
| CONFIG_DEVTMPFS=y |
| CONFIG_MTD_RAM=y |
| CONFIG_MTDRAM_TOTAL_SIZE=0 |
| CONFIG_MTDRAM_ERASE_SIZE=64 |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_NETDEVICES=y |
| # CONFIG_INPUT is not set |
| # CONFIG_SERIO_SERPORT is not set |
| # CONFIG_VT is not set |
| CONFIG_SERIAL_ETRAXFS=y |
| CONFIG_SERIAL_ETRAXFS_CONSOLE=y |
| CONFIG_GPIO_ETRAXFS=y |
| CONFIG_NEW_LEDS=y |
| CONFIG_LEDS_CLASS=y |
| CONFIG_LEDS_GPIO=y |
| CONFIG_LEDS_TRIGGERS=y |
| CONFIG_LEDS_TRIGGER_HEARTBEAT=y |
| CONFIG_PROC_KCORE=y |
| CONFIG_TMPFS=y |
| CONFIG_JFFS2_FS=y |
| CONFIG_CRAMFS=y |
| CONFIG_NFS_FS=y |
