mm: fix exec activate_mm vs TLB shootdown and lazy tlb switching race
[linux/fpc-iii.git] / arch / ia64 / configs / sim_defconfig
blobf0f69fdbddaeb7b2de127819cc462e7ac4e24ae8
1 CONFIG_SYSVIPC=y
2 CONFIG_IKCONFIG=y
3 CONFIG_IKCONFIG_PROC=y
4 CONFIG_LOG_BUF_SHIFT=16
5 CONFIG_MODULES=y
6 CONFIG_MODULE_UNLOAD=y
7 CONFIG_MODULE_FORCE_UNLOAD=y
8 CONFIG_MODVERSIONS=y
9 CONFIG_PARTITION_ADVANCED=y
10 CONFIG_IA64_HP_SIM=y
11 CONFIG_MCKINLEY=y
12 CONFIG_IA64_PAGE_SIZE_64KB=y
13 CONFIG_SMP=y
14 CONFIG_NR_CPUS=64
15 CONFIG_PREEMPT=y
16 CONFIG_IA64_PALINFO=m
17 CONFIG_EFI_VARS=y
18 CONFIG_BINFMT_MISC=y
19 CONFIG_NET=y
20 CONFIG_PACKET=y
21 CONFIG_INET=y
22 CONFIG_IP_MULTICAST=y
23 # CONFIG_IPV6 is not set
24 # CONFIG_STANDALONE is not set
25 CONFIG_BLK_DEV_LOOP=y
26 CONFIG_BLK_DEV_RAM=y
27 CONFIG_SCSI=y
28 CONFIG_BLK_DEV_SD=y
29 CONFIG_SCSI_CONSTANTS=y
30 CONFIG_SCSI_LOGGING=y
31 CONFIG_SCSI_SPI_ATTRS=y
32 # CONFIG_INPUT_KEYBOARD is not set
33 # CONFIG_INPUT_MOUSE is not set
34 # CONFIG_SERIO_I8042 is not set
35 # CONFIG_LEGACY_PTYS is not set
36 CONFIG_EFI_RTC=y
37 # CONFIG_VGA_CONSOLE is not set
38 CONFIG_HP_SIMETH=y
39 CONFIG_HP_SIMSERIAL=y
40 CONFIG_HP_SIMSERIAL_CONSOLE=y
41 CONFIG_HP_SIMSCSI=y
42 CONFIG_EXT2_FS=y
43 CONFIG_EXT3_FS=y
44 # CONFIG_EXT3_FS_XATTR is not set
45 CONFIG_PROC_KCORE=y
46 CONFIG_HUGETLBFS=y
47 CONFIG_NFS_FS=y
48 CONFIG_NFSD=y
49 CONFIG_NFSD_V3=y
50 CONFIG_DEBUG_INFO=y
51 CONFIG_DEBUG_KERNEL=y
52 CONFIG_DEBUG_MUTEXES=y