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
12 CONFIG_CRIS_MACH_ARTPEC3=y
13 CONFIG_ETRAX_DRAM_SIZE=32
14 CONFIG_ETRAX_FLASH1_SIZE=4
15 CONFIG_ETRAX_DEF_GIO_PA_OE=1c
16 CONFIG_ETRAX_DEF_GIO_PA_OUT=00
17 CONFIG_ETRAX_DEF_GIO_PB_OE=00000
18 CONFIG_ETRAX_DEF_GIO_PB_OUT=00000
23 # CONFIG_INET_LRO is not set
24 # CONFIG_IPV6 is not set
26 CONFIG_ETRAX_ETHERNET=y
27 CONFIG_ETRAX_AXISFLASHMAP=y
30 CONFIG_MTDRAM_TOTAL_SIZE=0
31 CONFIG_MTDRAM_ERASE_SIZE=64
32 CONFIG_MTDRAM_ABS_POS=0x0
35 # CONFIG_INPUT is not set
36 # CONFIG_SERIO_I8042 is not set
37 # CONFIG_SERIO_SERPORT is not set
38 # CONFIG_VT is not set