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