sim_defconfig 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725
  1. #
  2. # Automatically generated make config: don't edit
  3. # Linux kernel version: 2.6.16-rc5
  4. # Mon Feb 27 16:13:41 2006
  5. #
  6. #
  7. # Code maturity level options
  8. #
  9. CONFIG_EXPERIMENTAL=y
  10. CONFIG_LOCK_KERNEL=y
  11. CONFIG_INIT_ENV_ARG_LIMIT=32
  12. #
  13. # General setup
  14. #
  15. CONFIG_LOCALVERSION=""
  16. CONFIG_LOCALVERSION_AUTO=y
  17. CONFIG_SWAP=y
  18. CONFIG_SYSVIPC=y
  19. # CONFIG_POSIX_MQUEUE is not set
  20. # CONFIG_BSD_PROCESS_ACCT is not set
  21. CONFIG_SYSCTL=y
  22. # CONFIG_AUDIT is not set
  23. CONFIG_IKCONFIG=y
  24. CONFIG_IKCONFIG_PROC=y
  25. # CONFIG_CPUSETS is not set
  26. CONFIG_INITRAMFS_SOURCE=""
  27. # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  28. # CONFIG_EMBEDDED is not set
  29. CONFIG_KALLSYMS=y
  30. # CONFIG_KALLSYMS_ALL is not set
  31. # CONFIG_KALLSYMS_EXTRA_PASS is not set
  32. CONFIG_HOTPLUG=y
  33. CONFIG_PRINTK=y
  34. CONFIG_BUG=y
  35. CONFIG_ELF_CORE=y
  36. CONFIG_BASE_FULL=y
  37. CONFIG_FUTEX=y
  38. CONFIG_EPOLL=y
  39. CONFIG_SHMEM=y
  40. CONFIG_CC_ALIGN_FUNCTIONS=0
  41. CONFIG_CC_ALIGN_LABELS=0
  42. CONFIG_CC_ALIGN_LOOPS=0
  43. CONFIG_CC_ALIGN_JUMPS=0
  44. CONFIG_SLUB=y
  45. # CONFIG_TINY_SHMEM is not set
  46. CONFIG_BASE_SMALL=0
  47. # CONFIG_SLOB is not set
  48. #
  49. # Loadable module support
  50. #
  51. CONFIG_MODULES=y
  52. CONFIG_MODULE_UNLOAD=y
  53. CONFIG_MODULE_FORCE_UNLOAD=y
  54. CONFIG_OBSOLETE_MODPARM=y
  55. CONFIG_MODVERSIONS=y
  56. # CONFIG_MODULE_SRCVERSION_ALL is not set
  57. CONFIG_KMOD=y
  58. CONFIG_STOP_MACHINE=y
  59. #
  60. # Block layer
  61. #
  62. #
  63. # IO Schedulers
  64. #
  65. CONFIG_IOSCHED_NOOP=y
  66. CONFIG_IOSCHED_AS=y
  67. CONFIG_IOSCHED_DEADLINE=y
  68. CONFIG_IOSCHED_CFQ=y
  69. CONFIG_DEFAULT_AS=y
  70. # CONFIG_DEFAULT_DEADLINE is not set
  71. # CONFIG_DEFAULT_CFQ is not set
  72. # CONFIG_DEFAULT_NOOP is not set
  73. CONFIG_DEFAULT_IOSCHED="anticipatory"
  74. #
  75. # Processor type and features
  76. #
  77. CONFIG_IA64=y
  78. CONFIG_64BIT=y
  79. CONFIG_MMU=y
  80. CONFIG_SWIOTLB=y
  81. CONFIG_RWSEM_XCHGADD_ALGORITHM=y
  82. CONFIG_GENERIC_CALIBRATE_DELAY=y
  83. CONFIG_GENERIC_TIME=y
  84. CONFIG_EFI=y
  85. CONFIG_GENERIC_IOMAP=y
  86. CONFIG_SCHED_NO_NO_OMIT_FRAME_POINTER=y
  87. CONFIG_DMA_IS_DMA32=y
  88. # CONFIG_IA64_GENERIC is not set
  89. # CONFIG_IA64_DIG is not set
  90. # CONFIG_IA64_HP_ZX1 is not set
  91. # CONFIG_IA64_HP_ZX1_SWIOTLB is not set
  92. # CONFIG_IA64_SGI_SN2 is not set
  93. CONFIG_IA64_HP_SIM=y
  94. # CONFIG_ITANIUM is not set
  95. CONFIG_MCKINLEY=y
  96. # CONFIG_IA64_PAGE_SIZE_4KB is not set
  97. # CONFIG_IA64_PAGE_SIZE_8KB is not set
  98. # CONFIG_IA64_PAGE_SIZE_16KB is not set
  99. CONFIG_IA64_PAGE_SIZE_64KB=y
  100. CONFIG_PGTABLE_3=y
  101. # CONFIG_PGTABLE_4 is not set
  102. # CONFIG_HZ_100 is not set
  103. CONFIG_HZ_250=y
  104. # CONFIG_HZ_1000 is not set
  105. CONFIG_HZ=250
  106. CONFIG_IA64_L1_CACHE_SHIFT=7
  107. # CONFIG_IA64_CYCLONE is not set
  108. CONFIG_FORCE_MAX_ZONEORDER=17
  109. CONFIG_SMP=y
  110. CONFIG_NR_CPUS=64
  111. # CONFIG_HOTPLUG_CPU is not set
  112. # CONFIG_SCHED_SMT is not set
  113. CONFIG_PREEMPT=y
  114. CONFIG_SELECT_MEMORY_MODEL=y
  115. CONFIG_FLATMEM_MANUAL=y
  116. # CONFIG_DISCONTIGMEM_MANUAL is not set
  117. # CONFIG_SPARSEMEM_MANUAL is not set
  118. CONFIG_FLATMEM=y
  119. CONFIG_FLAT_NODE_MEM_MAP=y
  120. # CONFIG_SPARSEMEM_STATIC is not set
  121. CONFIG_SPLIT_PTLOCK_CPUS=4
  122. CONFIG_ARCH_SELECT_MEMORY_MODEL=y
  123. CONFIG_ARCH_DISCONTIGMEM_ENABLE=y
  124. CONFIG_ARCH_FLATMEM_ENABLE=y
  125. CONFIG_ARCH_SPARSEMEM_ENABLE=y
  126. # CONFIG_VIRTUAL_MEM_MAP is not set
  127. CONFIG_IA32_SUPPORT=y
  128. CONFIG_COMPAT=y
  129. # CONFIG_IA64_MCA_RECOVERY is not set
  130. # CONFIG_PERFMON is not set
  131. CONFIG_IA64_PALINFO=m
  132. #
  133. # Firmware Drivers
  134. #
  135. CONFIG_EFI_VARS=y
  136. CONFIG_BINFMT_ELF=y
  137. CONFIG_BINFMT_MISC=y
  138. #
  139. # Power management and ACPI
  140. #
  141. #
  142. # Networking
  143. #
  144. CONFIG_NET=y
  145. #
  146. # Networking options
  147. #
  148. # CONFIG_NETDEBUG is not set
  149. CONFIG_PACKET=y
  150. # CONFIG_PACKET_MMAP is not set
  151. # CONFIG_UNIX is not set
  152. # CONFIG_NET_KEY is not set
  153. CONFIG_INET=y
  154. CONFIG_IP_MULTICAST=y
  155. # CONFIG_IP_ADVANCED_ROUTER is not set
  156. CONFIG_IP_FIB_HASH=y
  157. # CONFIG_IP_PNP is not set
  158. # CONFIG_NET_IPIP is not set
  159. # CONFIG_NET_IPGRE is not set
  160. # CONFIG_IP_MROUTE is not set
  161. # CONFIG_ARPD is not set
  162. # CONFIG_SYN_COOKIES is not set
  163. # CONFIG_INET_AH is not set
  164. # CONFIG_INET_ESP is not set
  165. # CONFIG_INET_IPCOMP is not set
  166. # CONFIG_INET_TUNNEL is not set
  167. CONFIG_INET_DIAG=y
  168. CONFIG_INET_TCP_DIAG=y
  169. # CONFIG_TCP_CONG_ADVANCED is not set
  170. CONFIG_TCP_CONG_BIC=y
  171. # CONFIG_IPV6 is not set
  172. # CONFIG_NETFILTER is not set
  173. #
  174. # DCCP Configuration (EXPERIMENTAL)
  175. #
  176. # CONFIG_IP_DCCP is not set
  177. #
  178. # SCTP Configuration (EXPERIMENTAL)
  179. #
  180. # CONFIG_IP_SCTP is not set
  181. #
  182. # TIPC Configuration (EXPERIMENTAL)
  183. #
  184. # CONFIG_TIPC is not set
  185. # CONFIG_ATM is not set
  186. # CONFIG_BRIDGE is not set
  187. # CONFIG_VLAN_8021Q is not set
  188. # CONFIG_DECNET is not set
  189. # CONFIG_LLC2 is not set
  190. # CONFIG_IPX is not set
  191. # CONFIG_ATALK is not set
  192. # CONFIG_X25 is not set
  193. # CONFIG_LAPB is not set
  194. # CONFIG_NET_DIVERT is not set
  195. # CONFIG_ECONET is not set
  196. # CONFIG_WAN_ROUTER is not set
  197. #
  198. # QoS and/or fair queueing
  199. #
  200. # CONFIG_NET_SCHED is not set
  201. #
  202. # Network testing
  203. #
  204. # CONFIG_NET_PKTGEN is not set
  205. # CONFIG_HAMRADIO is not set
  206. # CONFIG_IRDA is not set
  207. # CONFIG_BT is not set
  208. # CONFIG_IEEE80211 is not set
  209. #
  210. # Device Drivers
  211. #
  212. #
  213. # Generic Driver Options
  214. #
  215. # CONFIG_STANDALONE is not set
  216. CONFIG_PREVENT_FIRMWARE_BUILD=y
  217. # CONFIG_FW_LOADER is not set
  218. # CONFIG_DEBUG_DRIVER is not set
  219. #
  220. # Connector - unified userspace <-> kernelspace linker
  221. #
  222. # CONFIG_CONNECTOR is not set
  223. #
  224. # Memory Technology Devices (MTD)
  225. #
  226. # CONFIG_MTD is not set
  227. #
  228. # Parallel port support
  229. #
  230. # CONFIG_PARPORT is not set
  231. #
  232. # Plug and Play support
  233. #
  234. #
  235. # Block devices
  236. #
  237. # CONFIG_BLK_DEV_COW_COMMON is not set
  238. CONFIG_BLK_DEV_LOOP=y
  239. # CONFIG_BLK_DEV_CRYPTOLOOP is not set
  240. # CONFIG_BLK_DEV_NBD is not set
  241. CONFIG_BLK_DEV_RAM=y
  242. CONFIG_BLK_DEV_RAM_COUNT=16
  243. CONFIG_BLK_DEV_RAM_SIZE=4096
  244. # CONFIG_BLK_DEV_INITRD is not set
  245. # CONFIG_CDROM_PKTCDVD is not set
  246. # CONFIG_ATA_OVER_ETH is not set
  247. #
  248. # ATA/ATAPI/MFM/RLL support
  249. #
  250. # CONFIG_IDE is not set
  251. #
  252. # SCSI device support
  253. #
  254. # CONFIG_RAID_ATTRS is not set
  255. CONFIG_SCSI=y
  256. CONFIG_SCSI_PROC_FS=y
  257. #
  258. # SCSI support type (disk, tape, CD-ROM)
  259. #
  260. CONFIG_BLK_DEV_SD=y
  261. # CONFIG_CHR_DEV_ST is not set
  262. # CONFIG_CHR_DEV_OSST is not set
  263. # CONFIG_BLK_DEV_SR is not set
  264. # CONFIG_CHR_DEV_SG is not set
  265. # CONFIG_CHR_DEV_SCH is not set
  266. #
  267. # Some SCSI devices (e.g. CD jukebox) support multiple LUNs
  268. #
  269. CONFIG_SCSI_MULTI_LUN=y
  270. CONFIG_SCSI_CONSTANTS=y
  271. CONFIG_SCSI_LOGGING=y
  272. #
  273. # SCSI Transport Attributes
  274. #
  275. CONFIG_SCSI_SPI_ATTRS=y
  276. # CONFIG_SCSI_FC_ATTRS is not set
  277. # CONFIG_SCSI_ISCSI_ATTRS is not set
  278. # CONFIG_SCSI_SAS_ATTRS is not set
  279. #
  280. # SCSI low-level drivers
  281. #
  282. # CONFIG_ISCSI_TCP is not set
  283. # CONFIG_SCSI_SATA is not set
  284. # CONFIG_SCSI_DEBUG is not set
  285. #
  286. # Multi-device support (RAID and LVM)
  287. #
  288. # CONFIG_MD is not set
  289. #
  290. # Fusion MPT device support
  291. #
  292. # CONFIG_FUSION is not set
  293. #
  294. # IEEE 1394 (FireWire) support
  295. #
  296. #
  297. # I2O device support
  298. #
  299. #
  300. # Network device support
  301. #
  302. # CONFIG_NETDEVICES is not set
  303. # CONFIG_DUMMY is not set
  304. # CONFIG_BONDING is not set
  305. # CONFIG_EQUALIZER is not set
  306. # CONFIG_TUN is not set
  307. #
  308. # PHY device support
  309. #
  310. #
  311. # Ethernet (10 or 100Mbit)
  312. #
  313. # CONFIG_NET_ETHERNET is not set
  314. #
  315. # Ethernet (1000 Mbit)
  316. #
  317. #
  318. # Ethernet (10000 Mbit)
  319. #
  320. # CONFIG_PPP is not set
  321. # CONFIG_SLIP is not set
  322. # CONFIG_SHAPER is not set
  323. # CONFIG_NETCONSOLE is not set
  324. # CONFIG_NETPOLL is not set
  325. # CONFIG_NET_POLL_CONTROLLER is not set
  326. #
  327. # ISDN subsystem
  328. #
  329. # CONFIG_ISDN is not set
  330. #
  331. # Telephony Support
  332. #
  333. # CONFIG_PHONE is not set
  334. #
  335. # Input device support
  336. #
  337. CONFIG_INPUT=y
  338. #
  339. # Userland interfaces
  340. #
  341. CONFIG_INPUT_MOUSEDEV=y
  342. CONFIG_INPUT_MOUSEDEV_PSAUX=y
  343. CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
  344. CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
  345. # CONFIG_INPUT_JOYDEV is not set
  346. # CONFIG_INPUT_TSDEV is not set
  347. # CONFIG_INPUT_EVDEV is not set
  348. # CONFIG_INPUT_EVBUG is not set
  349. #
  350. # Input Device Drivers
  351. #
  352. # CONFIG_INPUT_KEYBOARD is not set
  353. # CONFIG_INPUT_MOUSE is not set
  354. # CONFIG_INPUT_JOYSTICK is not set
  355. # CONFIG_INPUT_TOUCHSCREEN is not set
  356. # CONFIG_INPUT_MISC is not set
  357. #
  358. # Hardware I/O ports
  359. #
  360. CONFIG_SERIO=y
  361. # CONFIG_SERIO_I8042 is not set
  362. CONFIG_SERIO_SERPORT=y
  363. # CONFIG_SERIO_RAW is not set
  364. # CONFIG_GAMEPORT is not set
  365. #
  366. # Character devices
  367. #
  368. CONFIG_VT=y
  369. CONFIG_VT_CONSOLE=y
  370. CONFIG_HW_CONSOLE=y
  371. # CONFIG_SERIAL_NONSTANDARD is not set
  372. #
  373. # Serial drivers
  374. #
  375. # CONFIG_SERIAL_8250 is not set
  376. #
  377. # Non-8250 serial port support
  378. #
  379. CONFIG_UNIX98_PTYS=y
  380. # CONFIG_LEGACY_PTYS is not set
  381. #
  382. # IPMI
  383. #
  384. # CONFIG_IPMI_HANDLER is not set
  385. #
  386. # Watchdog Cards
  387. #
  388. # CONFIG_WATCHDOG is not set
  389. CONFIG_EFI_RTC=y
  390. # CONFIG_DTLK is not set
  391. # CONFIG_R3964 is not set
  392. #
  393. # Ftape, the floppy tape device driver
  394. #
  395. # CONFIG_AGP is not set
  396. # CONFIG_RAW_DRIVER is not set
  397. # CONFIG_HANGCHECK_TIMER is not set
  398. #
  399. # TPM devices
  400. #
  401. # CONFIG_TCG_TPM is not set
  402. # CONFIG_TELCLOCK is not set
  403. #
  404. # I2C support
  405. #
  406. # CONFIG_I2C is not set
  407. #
  408. # SPI support
  409. #
  410. # CONFIG_SPI is not set
  411. # CONFIG_SPI_MASTER is not set
  412. #
  413. # Dallas's 1-wire bus
  414. #
  415. # CONFIG_W1 is not set
  416. #
  417. # Hardware Monitoring support
  418. #
  419. CONFIG_HWMON=y
  420. # CONFIG_HWMON_VID is not set
  421. # CONFIG_SENSORS_F71805F is not set
  422. # CONFIG_HWMON_DEBUG_CHIP is not set
  423. #
  424. # Misc devices
  425. #
  426. #
  427. # Multimedia Capabilities Port drivers
  428. #
  429. #
  430. # Multimedia devices
  431. #
  432. # CONFIG_VIDEO_DEV is not set
  433. #
  434. # Digital Video Broadcasting Devices
  435. #
  436. # CONFIG_DVB is not set
  437. #
  438. # Graphics support
  439. #
  440. # CONFIG_FB is not set
  441. #
  442. # Console display driver support
  443. #
  444. # CONFIG_VGA_CONSOLE is not set
  445. CONFIG_DUMMY_CONSOLE=y
  446. #
  447. # Sound
  448. #
  449. # CONFIG_SOUND is not set
  450. #
  451. # USB support
  452. #
  453. # CONFIG_USB_ARCH_HAS_HCD is not set
  454. # CONFIG_USB_ARCH_HAS_OHCI is not set
  455. #
  456. # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support'
  457. #
  458. #
  459. # USB Gadget Support
  460. #
  461. # CONFIG_USB_GADGET is not set
  462. #
  463. # MMC/SD Card support
  464. #
  465. # CONFIG_MMC is not set
  466. #
  467. # InfiniBand support
  468. #
  469. #
  470. # EDAC - error detection and reporting (RAS)
  471. #
  472. #
  473. # File systems
  474. #
  475. CONFIG_EXT2_FS=y
  476. # CONFIG_EXT2_FS_XATTR is not set
  477. # CONFIG_EXT2_FS_XIP is not set
  478. CONFIG_EXT3_FS=y
  479. # CONFIG_EXT3_FS_XATTR is not set
  480. CONFIG_JBD=y
  481. # CONFIG_JBD_DEBUG is not set
  482. # CONFIG_REISERFS_FS is not set
  483. # CONFIG_JFS_FS is not set
  484. # CONFIG_FS_POSIX_ACL is not set
  485. # CONFIG_XFS_FS is not set
  486. # CONFIG_OCFS2_FS is not set
  487. # CONFIG_MINIX_FS is not set
  488. # CONFIG_ROMFS_FS is not set
  489. CONFIG_INOTIFY=y
  490. # CONFIG_QUOTA is not set
  491. CONFIG_DNOTIFY=y
  492. # CONFIG_AUTOFS_FS is not set
  493. # CONFIG_AUTOFS4_FS is not set
  494. # CONFIG_FUSE_FS is not set
  495. #
  496. # CD-ROM/DVD Filesystems
  497. #
  498. # CONFIG_ISO9660_FS is not set
  499. # CONFIG_UDF_FS is not set
  500. #
  501. # DOS/FAT/NT Filesystems
  502. #
  503. # CONFIG_MSDOS_FS is not set
  504. # CONFIG_VFAT_FS is not set
  505. # CONFIG_NTFS_FS is not set
  506. #
  507. # Pseudo filesystems
  508. #
  509. CONFIG_PROC_FS=y
  510. CONFIG_PROC_KCORE=y
  511. CONFIG_SYSFS=y
  512. # CONFIG_TMPFS is not set
  513. CONFIG_HUGETLBFS=y
  514. CONFIG_HUGETLB_PAGE=y
  515. CONFIG_RAMFS=y
  516. # CONFIG_RELAYFS_FS is not set
  517. # CONFIG_CONFIGFS_FS is not set
  518. #
  519. # Miscellaneous filesystems
  520. #
  521. # CONFIG_ADFS_FS is not set
  522. # CONFIG_AFFS_FS is not set
  523. # CONFIG_HFS_FS is not set
  524. # CONFIG_HFSPLUS_FS is not set
  525. # CONFIG_BEFS_FS is not set
  526. # CONFIG_BFS_FS is not set
  527. # CONFIG_EFS_FS is not set
  528. # CONFIG_CRAMFS is not set
  529. # CONFIG_VXFS_FS is not set
  530. # CONFIG_HPFS_FS is not set
  531. # CONFIG_QNX4FS_FS is not set
  532. # CONFIG_SYSV_FS is not set
  533. # CONFIG_UFS_FS is not set
  534. #
  535. # Network File Systems
  536. #
  537. CONFIG_NFS_FS=y
  538. # CONFIG_NFS_V3 is not set
  539. # CONFIG_NFS_V4 is not set
  540. CONFIG_NFS_DIRECTIO=y
  541. CONFIG_NFSD=y
  542. CONFIG_NFSD_V3=y
  543. # CONFIG_NFSD_V3_ACL is not set
  544. # CONFIG_NFSD_V4 is not set
  545. # CONFIG_NFSD_TCP is not set
  546. CONFIG_LOCKD=y
  547. CONFIG_LOCKD_V4=y
  548. CONFIG_EXPORTFS=y
  549. CONFIG_NFS_COMMON=y
  550. CONFIG_SUNRPC=y
  551. # CONFIG_RPCSEC_GSS_KRB5 is not set
  552. # CONFIG_RPCSEC_GSS_SPKM3 is not set
  553. # CONFIG_SMB_FS is not set
  554. # CONFIG_CIFS is not set
  555. # CONFIG_NCP_FS is not set
  556. # CONFIG_CODA_FS is not set
  557. # CONFIG_AFS_FS is not set
  558. # CONFIG_9P_FS is not set
  559. #
  560. # Partition Types
  561. #
  562. CONFIG_PARTITION_ADVANCED=y
  563. # CONFIG_ACORN_PARTITION is not set
  564. # CONFIG_OSF_PARTITION is not set
  565. # CONFIG_AMIGA_PARTITION is not set
  566. # CONFIG_ATARI_PARTITION is not set
  567. # CONFIG_MAC_PARTITION is not set
  568. CONFIG_MSDOS_PARTITION=y
  569. # CONFIG_BSD_DISKLABEL is not set
  570. # CONFIG_MINIX_SUBPARTITION is not set
  571. # CONFIG_SOLARIS_X86_PARTITION is not set
  572. # CONFIG_UNIXWARE_DISKLABEL is not set
  573. # CONFIG_LDM_PARTITION is not set
  574. # CONFIG_SGI_PARTITION is not set
  575. # CONFIG_ULTRIX_PARTITION is not set
  576. # CONFIG_SUN_PARTITION is not set
  577. # CONFIG_KARMA_PARTITION is not set
  578. CONFIG_EFI_PARTITION=y
  579. #
  580. # Native Language Support
  581. #
  582. # CONFIG_NLS is not set
  583. #
  584. # Library routines
  585. #
  586. # CONFIG_CRC_CCITT is not set
  587. # CONFIG_CRC16 is not set
  588. CONFIG_CRC32=y
  589. # CONFIG_LIBCRC32C is not set
  590. CONFIG_GENERIC_HARDIRQS=y
  591. CONFIG_GENERIC_IRQ_PROBE=y
  592. CONFIG_GENERIC_PENDING_IRQ=y
  593. #
  594. # HP Simulator drivers
  595. #
  596. CONFIG_HP_SIMETH=y
  597. CONFIG_HP_SIMSERIAL=y
  598. CONFIG_HP_SIMSERIAL_CONSOLE=y
  599. CONFIG_HP_SIMSCSI=y
  600. #
  601. # Instrumentation Support
  602. #
  603. # CONFIG_PROFILING is not set
  604. # CONFIG_KPROBES is not set
  605. #
  606. # Kernel hacking
  607. #
  608. # CONFIG_PRINTK_TIME is not set
  609. # CONFIG_MAGIC_SYSRQ is not set
  610. CONFIG_DEBUG_KERNEL=y
  611. CONFIG_LOG_BUF_SHIFT=16
  612. CONFIG_DETECT_SOFTLOCKUP=y
  613. # CONFIG_SCHEDSTATS is not set
  614. # CONFIG_DEBUG_SLAB is not set
  615. CONFIG_DEBUG_PREEMPT=y
  616. CONFIG_DEBUG_MUTEXES=y
  617. # CONFIG_DEBUG_SPINLOCK is not set
  618. # CONFIG_DEBUG_SPINLOCK_SLEEP is not set
  619. # CONFIG_DEBUG_KOBJECT is not set
  620. CONFIG_DEBUG_INFO=y
  621. # CONFIG_DEBUG_FS is not set
  622. # CONFIG_DEBUG_VM is not set
  623. CONFIG_FORCED_INLINING=y
  624. # CONFIG_RCU_TORTURE_TEST is not set
  625. # CONFIG_IA64_GRANULE_16MB is not set
  626. CONFIG_IA64_GRANULE_64MB=y
  627. # CONFIG_IA64_PRINT_HAZARDS is not set
  628. # CONFIG_DISABLE_VHPT is not set
  629. # CONFIG_IA64_DEBUG_CMPXCHG is not set
  630. # CONFIG_IA64_DEBUG_IRQ is not set
  631. CONFIG_SYSVIPC_COMPAT=y
  632. #
  633. # Security options
  634. #
  635. # CONFIG_KEYS is not set
  636. # CONFIG_SECURITY is not set
  637. #
  638. # Cryptographic options
  639. #
  640. # CONFIG_CRYPTO is not set
  641. #
  642. # Hardware crypto devices
  643. #