2 # CONFIG_SWAP is not set
3 CONFIG_LOG_BUF_SHIFT=14
4 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
6 # CONFIG_KALLSYMS is not set
7 # CONFIG_HOTPLUG is not set
8 # CONFIG_BLK_DEV_BSG is not set
9 # CONFIG_IOSCHED_DEADLINE is not set
10 CONFIG_ETRAX_CMDLINE="root=/dev/mtdblock3 init=/linuxrc"
11 CONFIG_ETRAX_FAST_TIMER=y
13 CONFIG_ETRAX_DRAM_SIZE=32
14 CONFIG_ETRAX_FLASH1_SIZE=4
19 # CONFIG_INET_LRO is not set
20 # CONFIG_IPV6 is not set
22 CONFIG_ETRAX_ETHERNET=y
23 CONFIG_ETRAX_AXISFLASHMAP=y
26 CONFIG_MTDRAM_TOTAL_SIZE=0
27 CONFIG_MTDRAM_ERASE_SIZE=64
28 CONFIG_MTDRAM_ABS_POS=0x0
31 # CONFIG_INPUT is not set
32 # CONFIG_SERIO_I8042 is not set
33 # CONFIG_SERIO_SERPORT is not set
34 # CONFIG_VT is not set