defconfig-dig-mp
上传用户:jlfgdled
上传日期:2013-04-10
资源大小:33168k
文件大小:10k
源码类别:

Linux/Unix编程

开发平台:

Unix_Linux

  1. #
  2. # Automatically generated make config: don't edit
  3. #
  4. #
  5. # Code maturity level options
  6. #
  7. # CONFIG_EXPERIMENTAL is not set
  8. #
  9. # Loadable module support
  10. #
  11. # CONFIG_MODULES is not set
  12. #
  13. # General setup
  14. #
  15. CONFIG_IA64=y
  16. # CONFIG_ISA is not set
  17. # CONFIG_EISA is not set
  18. # CONFIG_MCA is not set
  19. # CONFIG_SBUS is not set
  20. CONFIG_RWSEM_GENERIC_SPINLOCK=y
  21. # CONFIG_RWSEM_XCHGADD_ALGORITHM is not set
  22. CONFIG_ACPI=y
  23. CONFIG_ACPI_EFI=y
  24. CONFIG_ACPI_INTERPRETER=y
  25. CONFIG_ACPI_KERNEL_CONFIG=y
  26. CONFIG_ITANIUM=y
  27. # CONFIG_MCKINLEY is not set
  28. # CONFIG_IA64_GENERIC is not set
  29. CONFIG_IA64_DIG=y
  30. # CONFIG_IA64_HP_SIM is not set
  31. # CONFIG_IA64_SGI_SN1 is not set
  32. # CONFIG_IA64_SGI_SN2 is not set
  33. # CONFIG_IA64_PAGE_SIZE_4KB is not set
  34. # CONFIG_IA64_PAGE_SIZE_8KB is not set
  35. CONFIG_IA64_PAGE_SIZE_16KB=y
  36. # CONFIG_IA64_PAGE_SIZE_64KB is not set
  37. CONFIG_IA64_BRL_EMU=y
  38. CONFIG_ITANIUM_BSTEP_SPECIFIC=y
  39. CONFIG_IA64_L1_CACHE_SHIFT=6
  40. # CONFIG_NUMA is not set
  41. # CONFIG_IA64_MCA is not set
  42. CONFIG_PM=y
  43. CONFIG_IA64_HAVE_SYNCRONIZED_ITC=y
  44. # CONFIG_DEVFS_FS is not set
  45. CONFIG_KCORE_ELF=y
  46. CONFIG_SMP=y
  47. # CONFIG_IA32_SUPPORT is not set
  48. # CONFIG_PERFMON is not set
  49. # CONFIG_IA64_PALINFO is not set
  50. # CONFIG_EFI_VARS is not set
  51. # CONFIG_NET is not set
  52. CONFIG_SYSVIPC=y
  53. # CONFIG_BSD_PROCESS_ACCT is not set
  54. # CONFIG_SYSCTL is not set
  55. CONFIG_BINFMT_ELF=y
  56. # CONFIG_BINFMT_MISC is not set
  57. # CONFIG_ACPI_DEBUG is not set
  58. # CONFIG_ACPI_BUSMGR is not set
  59. # CONFIG_ACPI_SYS is not set
  60. # CONFIG_ACPI_CPU is not set
  61. # CONFIG_ACPI_BUTTON is not set
  62. # CONFIG_ACPI_AC is not set
  63. # CONFIG_ACPI_EC is not set
  64. # CONFIG_ACPI_CMBATT is not set
  65. # CONFIG_ACPI_THERMAL is not set
  66. CONFIG_PCI=y
  67. # CONFIG_PCI_NAMES is not set
  68. # CONFIG_HOTPLUG is not set
  69. # CONFIG_PCMCIA is not set
  70. #
  71. # Parallel port support
  72. #
  73. # CONFIG_PARPORT is not set
  74. #
  75. # Memory Technology Devices (MTD)
  76. #
  77. # CONFIG_MTD is not set
  78. #
  79. # Plug and Play configuration
  80. #
  81. # CONFIG_PNP is not set
  82. # CONFIG_ISAPNP is not set
  83. #
  84. # Block devices
  85. #
  86. # CONFIG_BLK_DEV_FD is not set
  87. # CONFIG_BLK_DEV_XD is not set
  88. # CONFIG_PARIDE is not set
  89. # CONFIG_BLK_CPQ_DA is not set
  90. # CONFIG_BLK_CPQ_CISS_DA is not set
  91. # CONFIG_BLK_DEV_DAC960 is not set
  92. # CONFIG_BLK_DEV_LOOP is not set
  93. # CONFIG_BLK_DEV_NBD is not set
  94. # CONFIG_BLK_DEV_RAM is not set
  95. # CONFIG_BLK_DEV_INITRD is not set
  96. #
  97. # I2O device support
  98. #
  99. # CONFIG_I2O is not set
  100. # CONFIG_I2O_PCI is not set
  101. # CONFIG_I2O_BLOCK is not set
  102. # CONFIG_I2O_SCSI is not set
  103. # CONFIG_I2O_PROC is not set
  104. #
  105. # Multi-device support (RAID and LVM)
  106. #
  107. # CONFIG_MD is not set
  108. # CONFIG_BLK_DEV_MD is not set
  109. # CONFIG_MD_LINEAR is not set
  110. # CONFIG_MD_RAID0 is not set
  111. # CONFIG_MD_RAID1 is not set
  112. # CONFIG_MD_RAID5 is not set
  113. # CONFIG_MD_MULTIPATH is not set
  114. # CONFIG_BLK_DEV_LVM is not set
  115. #
  116. # ATA/IDE/MFM/RLL support
  117. #
  118. CONFIG_IDE=y
  119. #
  120. # IDE, ATA and ATAPI Block devices
  121. #
  122. CONFIG_BLK_DEV_IDE=y
  123. #
  124. # Please see Documentation/ide.txt for help/info on IDE drives
  125. #
  126. # CONFIG_BLK_DEV_HD_IDE is not set
  127. # CONFIG_BLK_DEV_HD is not set
  128. CONFIG_BLK_DEV_IDEDISK=y
  129. # CONFIG_IDEDISK_MULTI_MODE is not set
  130. # CONFIG_BLK_DEV_IDEDISK_VENDOR is not set
  131. # CONFIG_BLK_DEV_IDEDISK_FUJITSU is not set
  132. # CONFIG_BLK_DEV_IDEDISK_IBM is not set
  133. # CONFIG_BLK_DEV_IDEDISK_MAXTOR is not set
  134. # CONFIG_BLK_DEV_IDEDISK_QUANTUM is not set
  135. # CONFIG_BLK_DEV_IDEDISK_SEAGATE is not set
  136. # CONFIG_BLK_DEV_IDEDISK_WD is not set
  137. # CONFIG_BLK_DEV_COMMERIAL is not set
  138. # CONFIG_BLK_DEV_TIVO is not set
  139. # CONFIG_BLK_DEV_IDECS is not set
  140. # CONFIG_BLK_DEV_IDECD is not set
  141. # CONFIG_BLK_DEV_IDETAPE is not set
  142. # CONFIG_BLK_DEV_IDEFLOPPY is not set
  143. # CONFIG_BLK_DEV_IDESCSI is not set
  144. #
  145. # IDE chipset support/bugfixes
  146. #
  147. # CONFIG_BLK_DEV_CMD640 is not set
  148. # CONFIG_BLK_DEV_CMD640_ENHANCED is not set
  149. # CONFIG_BLK_DEV_ISAPNP is not set
  150. # CONFIG_BLK_DEV_RZ1000 is not set
  151. # CONFIG_BLK_DEV_IDEPCI is not set
  152. # CONFIG_IDE_CHIPSETS is not set
  153. # CONFIG_IDEDMA_AUTO is not set
  154. # CONFIG_DMA_NONPCI is not set
  155. # CONFIG_BLK_DEV_IDE_MODES is not set
  156. # CONFIG_BLK_DEV_ATARAID is not set
  157. # CONFIG_BLK_DEV_ATARAID_PDC is not set
  158. # CONFIG_BLK_DEV_ATARAID_HPT is not set
  159. #
  160. # Alternate 1394 support
  161. #
  162. # CONFIG_X1394 is not set
  163. #
  164. # Alternate SCSI support
  165. #
  166. # CONFIG_XSCSI is not set
  167. #
  168. # SCSI support
  169. #
  170. # CONFIG_SCSI is not set
  171. #
  172. # Amateur Radio support
  173. #
  174. # CONFIG_HAMRADIO is not set
  175. #
  176. # ISDN subsystem
  177. #
  178. # CONFIG_ISDN is not set
  179. #
  180. # CD-ROM drivers (not for SCSI or IDE/ATAPI drives)
  181. #
  182. # CONFIG_CD_NO_IDESCSI is not set
  183. #
  184. # Input core support
  185. #
  186. # CONFIG_INPUT is not set
  187. # CONFIG_INPUT_KEYBDEV is not set
  188. # CONFIG_INPUT_MOUSEDEV is not set
  189. # CONFIG_INPUT_JOYDEV is not set
  190. # CONFIG_INPUT_EVDEV is not set
  191. #
  192. # Character devices
  193. #
  194. CONFIG_VT=y
  195. CONFIG_VT_CONSOLE=y
  196. # CONFIG_SERIAL is not set
  197. # CONFIG_SERIAL_EXTENDED is not set
  198. # CONFIG_SERIAL_NONSTANDARD is not set
  199. CONFIG_UNIX98_PTYS=y
  200. CONFIG_UNIX98_PTY_COUNT=256
  201. #
  202. # I2C support
  203. #
  204. # CONFIG_I2C is not set
  205. #
  206. # Mice
  207. #
  208. # CONFIG_BUSMOUSE is not set
  209. # CONFIG_MOUSE is not set
  210. #
  211. # Joysticks
  212. #
  213. # CONFIG_INPUT_GAMEPORT is not set
  214. #
  215. # Input core support is needed for gameports
  216. #
  217. #
  218. # Input core support is needed for joysticks
  219. #
  220. # CONFIG_QIC02_TAPE is not set
  221. #
  222. # Watchdog Cards
  223. #
  224. # CONFIG_WATCHDOG is not set
  225. # CONFIG_INTEL_RNG is not set
  226. # CONFIG_NVRAM is not set
  227. # CONFIG_RTC is not set
  228. # CONFIG_EFI_RTC is not set
  229. # CONFIG_DTLK is not set
  230. # CONFIG_R3964 is not set
  231. # CONFIG_APPLICOM is not set
  232. #
  233. # Ftape, the floppy tape device driver
  234. #
  235. # CONFIG_FTAPE is not set
  236. # CONFIG_AGP is not set
  237. # CONFIG_DRM is not set
  238. # CONFIG_MWAVE is not set
  239. #
  240. # Multimedia devices
  241. #
  242. # CONFIG_VIDEO_DEV is not set
  243. #
  244. # File systems
  245. #
  246. # CONFIG_QUOTA is not set
  247. # CONFIG_AUTOFS_FS is not set
  248. # CONFIG_AUTOFS4_FS is not set
  249. # CONFIG_REISERFS_FS is not set
  250. # CONFIG_REISERFS_CHECK is not set
  251. # CONFIG_ADFS_FS is not set
  252. # CONFIG_ADFS_FS_RW is not set
  253. # CONFIG_AFFS_FS is not set
  254. # CONFIG_HFS_FS is not set
  255. # CONFIG_BFS_FS is not set
  256. # CONFIG_FAT_FS is not set
  257. # CONFIG_MSDOS_FS is not set
  258. # CONFIG_UMSDOS_FS is not set
  259. # CONFIG_VFAT_FS is not set
  260. # CONFIG_EFS_FS is not set
  261. # CONFIG_JFFS_FS is not set
  262. # CONFIG_JFFS2_FS is not set
  263. # CONFIG_CRAMFS is not set
  264. CONFIG_TMPFS=y
  265. # CONFIG_RAMFS is not set
  266. # CONFIG_ISO9660_FS is not set
  267. # CONFIG_JOLIET is not set
  268. # CONFIG_MINIX_FS is not set
  269. # CONFIG_VXFS_FS is not set
  270. # CONFIG_NTFS_FS is not set
  271. # CONFIG_NTFS_RW is not set
  272. # CONFIG_HPFS_FS is not set
  273. CONFIG_PROC_FS=y
  274. # CONFIG_DEVFS_FS is not set
  275. # CONFIG_DEVFS_MOUNT is not set
  276. # CONFIG_DEVFS_DEBUG is not set
  277. CONFIG_DEVPTS_FS=y
  278. # CONFIG_QNX4FS_FS is not set
  279. # CONFIG_QNX4FS_RW is not set
  280. # CONFIG_ROMFS_FS is not set
  281. CONFIG_EXT2_FS=y
  282. # CONFIG_SYSV_FS is not set
  283. # CONFIG_UDF_FS is not set
  284. # CONFIG_UDF_RW is not set
  285. # CONFIG_UFS_FS is not set
  286. # CONFIG_UFS_FS_WRITE is not set
  287. # CONFIG_XFS_SUPPORT is not set
  288. # CONFIG_NCPFS_NLS is not set
  289. # CONFIG_SMB_FS is not set
  290. #
  291. # Partition Types
  292. #
  293. # CONFIG_PARTITION_ADVANCED is not set
  294. CONFIG_MSDOS_PARTITION=y
  295. # CONFIG_SMB_NLS is not set
  296. # CONFIG_NLS is not set
  297. #
  298. # Console drivers
  299. #
  300. CONFIG_VGA_CONSOLE=y
  301. #
  302. # Frame-buffer support
  303. #
  304. # CONFIG_FB is not set
  305. #
  306. # Sound
  307. #
  308. # CONFIG_SOUND is not set
  309. #
  310. # USB support
  311. #
  312. # CONFIG_USB is not set
  313. #
  314. # USB Controllers
  315. #
  316. # CONFIG_USB_UHCI is not set
  317. # CONFIG_USB_UHCI_ALT is not set
  318. # CONFIG_USB_OHCI is not set
  319. #
  320. # USB Device Class drivers
  321. #
  322. # CONFIG_USB_AUDIO is not set
  323. # CONFIG_USB_BLUETOOTH is not set
  324. # CONFIG_USB_STORAGE is not set
  325. # CONFIG_USB_STORAGE_DEBUG is not set
  326. # CONFIG_USB_STORAGE_DATAFAB is not set
  327. # CONFIG_USB_STORAGE_FREECOM is not set
  328. # CONFIG_USB_STORAGE_ISD200 is not set
  329. # CONFIG_USB_STORAGE_DPCM is not set
  330. # CONFIG_USB_STORAGE_HP8200e is not set
  331. # CONFIG_USB_STORAGE_SDDR09 is not set
  332. # CONFIG_USB_STORAGE_JUMPSHOT is not set
  333. # CONFIG_USB_ACM is not set
  334. # CONFIG_USB_PRINTER is not set
  335. #
  336. # USB Human Interface Devices (HID)
  337. #
  338. #
  339. #   Input core support is needed for USB HID
  340. #
  341. #
  342. # USB Imaging devices
  343. #
  344. # CONFIG_USB_DC2XX is not set
  345. # CONFIG_USB_MDC800 is not set
  346. # CONFIG_USB_SCANNER is not set
  347. # CONFIG_USB_MICROTEK is not set
  348. # CONFIG_USB_HPUSBSCSI is not set
  349. #
  350. # USB Multimedia devices
  351. #
  352. #
  353. #   Video4Linux support is needed for USB Multimedia device support
  354. #
  355. #
  356. # USB Network adaptors
  357. #
  358. #
  359. #   Networking support is needed for USB Networking device support
  360. #
  361. #
  362. # USB port drivers
  363. #
  364. # CONFIG_USB_USS720 is not set
  365. #
  366. # USB Serial Converter support
  367. #
  368. # CONFIG_USB_SERIAL is not set
  369. # CONFIG_USB_SERIAL_GENERIC is not set
  370. # CONFIG_USB_SERIAL_BELKIN is not set
  371. # CONFIG_USB_SERIAL_WHITEHEAT is not set
  372. # CONFIG_USB_SERIAL_DIGI_ACCELEPORT is not set
  373. # CONFIG_USB_SERIAL_EMPEG is not set
  374. # CONFIG_USB_SERIAL_FTDI_SIO is not set
  375. # CONFIG_USB_SERIAL_VISOR is not set
  376. # CONFIG_USB_SERIAL_IR is not set
  377. # CONFIG_USB_SERIAL_EDGEPORT is not set
  378. # CONFIG_USB_SERIAL_KEYSPAN_PDA is not set
  379. # CONFIG_USB_SERIAL_KEYSPAN is not set
  380. # CONFIG_USB_SERIAL_KEYSPAN_USA28 is not set
  381. # CONFIG_USB_SERIAL_KEYSPAN_USA28X is not set
  382. # CONFIG_USB_SERIAL_KEYSPAN_USA28XA is not set
  383. # CONFIG_USB_SERIAL_KEYSPAN_USA28XB is not set
  384. # CONFIG_USB_SERIAL_KEYSPAN_USA19 is not set
  385. # CONFIG_USB_SERIAL_KEYSPAN_USA18X is not set
  386. # CONFIG_USB_SERIAL_KEYSPAN_USA19W is not set
  387. # CONFIG_USB_SERIAL_KEYSPAN_USA49W is not set
  388. # CONFIG_USB_SERIAL_MCT_U232 is not set
  389. # CONFIG_USB_SERIAL_PL2303 is not set
  390. # CONFIG_USB_SERIAL_CYBERJACK is not set
  391. # CONFIG_USB_SERIAL_XIRCOM is not set
  392. # CONFIG_USB_SERIAL_OMNINET is not set
  393. #
  394. # USB Miscellaneous drivers
  395. #
  396. # CONFIG_USB_RIO500 is not set
  397. #
  398. # Kernel hacking
  399. #
  400. CONFIG_DEBUG_KERNEL=y
  401. CONFIG_IA64_PRINT_HAZARDS=y
  402. # CONFIG_DISABLE_VHPT is not set
  403. CONFIG_MAGIC_SYSRQ=y
  404. CONFIG_IA64_EARLY_PRINTK=y
  405. # CONFIG_DEBUG_SLAB is not set
  406. # CONFIG_DEBUG_SPINLOCK is not set
  407. # CONFIG_IA64_DEBUG_CMPXCHG is not set
  408. # CONFIG_IA64_DEBUG_IRQ is not set
  409. # CONFIG_KDB is not set
  410. # CONFIG_KDB_MODULES is not set
  411. # CONFIG_KALLSYMS is not set