mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / c6x / configs / evmc6678_defconfig
blobc4f433c25b69d94618779049f9f38fa5ac872437
1 CONFIG_SOC_TMS320C6678=y
2 # CONFIG_LOCALVERSION_AUTO is not set
3 CONFIG_SYSVIPC=y
4 CONFIG_SPARSE_IRQ=y
5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_NAMESPACES=y
7 # CONFIG_UTS_NS is not set
8 # CONFIG_USER_NS is not set
9 # CONFIG_PID_NS is not set
10 CONFIG_BLK_DEV_INITRD=y
11 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
12 CONFIG_EXPERT=y
13 # CONFIG_FUTEX is not set
14 # CONFIG_SLUB_DEBUG is not set
15 CONFIG_MODULES=y
16 CONFIG_MODULE_FORCE_LOAD=y
17 CONFIG_MODULE_UNLOAD=y
18 CONFIG_MODULE_FORCE_UNLOAD=y
19 CONFIG_CMDLINE_BOOL=y
20 CONFIG_CMDLINE=""
21 # CONFIG_CMDLINE_FORCE is not set
22 CONFIG_BOARD_EVM6678=y
23 CONFIG_NO_HZ=y
24 CONFIG_HIGH_RES_TIMERS=y
25 CONFIG_BLK_DEV_LOOP=y
26 CONFIG_BLK_DEV_RAM=y
27 CONFIG_BLK_DEV_RAM_COUNT=2
28 CONFIG_BLK_DEV_RAM_SIZE=17000
29 # CONFIG_INPUT is not set
30 # CONFIG_SERIO is not set
31 # CONFIG_VT is not set
32 # CONFIG_HW_RANDOM is not set
33 # CONFIG_HWMON is not set
34 # CONFIG_USB_SUPPORT is not set
35 # CONFIG_IOMMU_SUPPORT is not set
36 # CONFIG_MISC_FILESYSTEMS is not set
37 CONFIG_CRC16=y
38 # CONFIG_ENABLE_MUST_CHECK is not set
39 # CONFIG_SCHED_DEBUG is not set
40 # CONFIG_DEBUG_BUGVERBOSE is not set