x86, efi: Set runtime_version to the EFI spec revision
[linux/fpc-iii.git] / arch / c6x / configs / evmc6457_defconfig
blobbba40e195ec43d1e70d9c2ccc6a4876f4a96abfd
1 CONFIG_SOC_TMS320C6457=y
2 CONFIG_EXPERIMENTAL=y
3 # CONFIG_LOCALVERSION_AUTO is not set
4 CONFIG_SYSVIPC=y
5 CONFIG_SPARSE_IRQ=y
6 CONFIG_LOG_BUF_SHIFT=14
7 CONFIG_NAMESPACES=y
8 # CONFIG_UTS_NS is not set
9 # CONFIG_USER_NS is not set
10 # CONFIG_PID_NS is not set
11 CONFIG_BLK_DEV_INITRD=y
12 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
13 CONFIG_EXPERT=y
14 # CONFIG_FUTEX is not set
15 # CONFIG_SLUB_DEBUG is not set
16 CONFIG_MODULES=y
17 CONFIG_MODULE_FORCE_LOAD=y
18 CONFIG_MODULE_UNLOAD=y
19 CONFIG_MODULE_FORCE_UNLOAD=y
20 CONFIG_CMDLINE_BOOL=y
21 CONFIG_CMDLINE=""
22 CONFIG_BOARD_EVM6457=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_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
38 CONFIG_CRC16=y
39 # CONFIG_ENABLE_MUST_CHECK is not set
40 # CONFIG_SCHED_DEBUG is not set
41 # CONFIG_DEBUG_BUGVERBOSE is not set