1CONFIG_SOC_TMS320C6457=y 2# CONFIG_LOCALVERSION_AUTO is not set 3CONFIG_SYSVIPC=y 4CONFIG_SPARSE_IRQ=y 5CONFIG_LOG_BUF_SHIFT=14 6CONFIG_NAMESPACES=y 7# CONFIG_UTS_NS is not set 8# CONFIG_USER_NS is not set 9# CONFIG_PID_NS is not set 10CONFIG_BLK_DEV_INITRD=y 11CONFIG_CC_OPTIMIZE_FOR_SIZE=y 12CONFIG_EXPERT=y 13# CONFIG_FUTEX is not set 14# CONFIG_SLUB_DEBUG is not set 15CONFIG_MODULES=y 16CONFIG_MODULE_FORCE_LOAD=y 17CONFIG_MODULE_UNLOAD=y 18CONFIG_MODULE_FORCE_UNLOAD=y 19CONFIG_CMDLINE_BOOL=y 20CONFIG_CMDLINE="" 21CONFIG_BOARD_EVM6457=y 22CONFIG_NO_HZ=y 23CONFIG_HIGH_RES_TIMERS=y 24CONFIG_BLK_DEV_LOOP=y 25CONFIG_BLK_DEV_RAM=y 26CONFIG_BLK_DEV_RAM_COUNT=2 27CONFIG_BLK_DEV_RAM_SIZE=17000 28# CONFIG_INPUT is not set 29# CONFIG_SERIO is not set 30# CONFIG_VT is not set 31# CONFIG_HW_RANDOM is not set 32# CONFIG_HWMON is not set 33# CONFIG_USB_SUPPORT is not set 34# CONFIG_IOMMU_SUPPORT is not set 35# CONFIG_MISC_FILESYSTEMS is not set 36CONFIG_CRC16=y 37# CONFIG_ENABLE_MUST_CHECK is not set 38# CONFIG_SCHED_DEBUG is not set 39# CONFIG_DEBUG_BUGVERBOSE is not set 40