| # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set |
| # CONFIG_KALLSYMS is not set |
| # CONFIG_HOTPLUG is not set |
| # CONFIG_BLK_DEV_BSG is not set |
| # CONFIG_IOSCHED_DEADLINE is not set |
| CONFIG_ETRAX_CMDLINE="root=/dev/mtdblock3 init=/linuxrc" |
| CONFIG_ETRAX_FAST_TIMER=y |
| CONFIG_CRIS_MACH_ARTPEC3=y |
| CONFIG_ETRAX_DRAM_SIZE=32 |
| CONFIG_ETRAX_FLASH1_SIZE=4 |
| CONFIG_ETRAX_DEF_GIO_PA_OE=1c |
| CONFIG_ETRAX_DEF_GIO_PA_OUT=00 |
| CONFIG_ETRAX_DEF_GIO_PB_OE=00000 |
| CONFIG_ETRAX_DEF_GIO_PB_OUT=00000 |
| # CONFIG_INET_LRO is not set |
| CONFIG_ETRAX_AXISFLASHMAP=y |
| CONFIG_MTDRAM_TOTAL_SIZE=0 |
| CONFIG_MTDRAM_ERASE_SIZE=64 |
| CONFIG_MTDRAM_ABS_POS=0x0 |
| # CONFIG_INPUT is not set |
| # CONFIG_SERIO_I8042 is not set |
| # CONFIG_SERIO_SERPORT is not set |