| CONFIG_SOC_TMS320C6457=y | |
| CONFIG_EXPERIMENTAL=y | |
| # CONFIG_LOCALVERSION_AUTO is not set | |
| CONFIG_SYSVIPC=y | |
| CONFIG_SPARSE_IRQ=y | |
| CONFIG_LOG_BUF_SHIFT=14 | |
| CONFIG_NAMESPACES=y | |
| # CONFIG_UTS_NS is not set | |
| # CONFIG_USER_NS is not set | |
| # CONFIG_PID_NS is not set | |
| CONFIG_BLK_DEV_INITRD=y | |
| CONFIG_CC_OPTIMIZE_FOR_SIZE=y | |
| CONFIG_EXPERT=y | |
| # CONFIG_FUTEX is not set | |
| # CONFIG_SLUB_DEBUG is not set | |
| CONFIG_MODULES=y | |
| CONFIG_MODULE_FORCE_LOAD=y | |
| CONFIG_MODULE_UNLOAD=y | |
| CONFIG_MODULE_FORCE_UNLOAD=y | |
| CONFIG_CMDLINE_BOOL=y | |
| CONFIG_CMDLINE="" | |
| CONFIG_BOARD_EVM6457=y | |
| CONFIG_NO_HZ=y | |
| CONFIG_HIGH_RES_TIMERS=y | |
| CONFIG_BLK_DEV_LOOP=y | |
| CONFIG_BLK_DEV_RAM=y | |
| CONFIG_BLK_DEV_RAM_COUNT=2 | |
| CONFIG_BLK_DEV_RAM_SIZE=17000 | |
| CONFIG_MISC_DEVICES=y | |
| # CONFIG_INPUT is not set | |
| # CONFIG_SERIO is not set | |
| # CONFIG_VT is not set | |
| # CONFIG_HW_RANDOM is not set | |
| # CONFIG_HWMON is not set | |
| # CONFIG_USB_SUPPORT is not set | |
| # CONFIG_IOMMU_SUPPORT is not set | |
| # CONFIG_MISC_FILESYSTEMS is not set | |
| CONFIG_CRC16=y | |
| # CONFIG_ENABLE_MUST_CHECK is not set | |
| # CONFIG_SCHED_DEBUG is not set | |
| # CONFIG_DEBUG_BUGVERBOSE is not set |