| CONFIG_SOC_TMS320C6472=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_CMDLINE_FORCE is not set |
| CONFIG_BOARD_EVM6472=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 |