ocelot_g_defconfig 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668
  1. #
  2. # Automatically generated make config: don't edit
  3. # Linux kernel version: 2.6.11-rc2
  4. # Wed Jan 26 02:49:08 2005
  5. #
  6. CONFIG_MIPS=y
  7. CONFIG_64BIT=y
  8. CONFIG_64BIT=y
  9. #
  10. # Code maturity level options
  11. #
  12. CONFIG_EXPERIMENTAL=y
  13. CONFIG_CLEAN_COMPILE=y
  14. CONFIG_BROKEN_ON_SMP=y
  15. #
  16. # General setup
  17. #
  18. CONFIG_LOCALVERSION=""
  19. CONFIG_SWAP=y
  20. CONFIG_SYSVIPC=y
  21. # CONFIG_POSIX_MQUEUE is not set
  22. # CONFIG_BSD_PROCESS_ACCT is not set
  23. CONFIG_SYSCTL=y
  24. # CONFIG_AUDIT is not set
  25. CONFIG_LOG_BUF_SHIFT=14
  26. # CONFIG_HOTPLUG is not set
  27. CONFIG_KOBJECT_UEVENT=y
  28. # CONFIG_IKCONFIG is not set
  29. CONFIG_EMBEDDED=y
  30. CONFIG_KALLSYMS=y
  31. # CONFIG_KALLSYMS_EXTRA_PASS is not set
  32. CONFIG_FUTEX=y
  33. CONFIG_EPOLL=y
  34. # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
  35. CONFIG_SHMEM=y
  36. CONFIG_CC_ALIGN_FUNCTIONS=0
  37. CONFIG_CC_ALIGN_LABELS=0
  38. CONFIG_CC_ALIGN_LOOPS=0
  39. CONFIG_CC_ALIGN_JUMPS=0
  40. # CONFIG_TINY_SHMEM is not set
  41. #
  42. # Loadable module support
  43. #
  44. # CONFIG_MODULES is not set
  45. #
  46. # Machine selection
  47. #
  48. # CONFIG_MACH_JAZZ is not set
  49. # CONFIG_MACH_VR41XX is not set
  50. # CONFIG_MIPS_COBALT is not set
  51. # CONFIG_MACH_DECSTATION is not set
  52. # CONFIG_MIPS_EV64120 is not set
  53. # CONFIG_MIPS_EV96100 is not set
  54. # CONFIG_MIPS_IVR is not set
  55. # CONFIG_LASAT is not set
  56. # CONFIG_MIPS_ITE8172 is not set
  57. # CONFIG_MIPS_ATLAS is not set
  58. # CONFIG_MIPS_MALTA is not set
  59. # CONFIG_MIPS_SEAD is not set
  60. # CONFIG_MOMENCO_OCELOT is not set
  61. CONFIG_MOMENCO_OCELOT_G=y
  62. # CONFIG_MOMENCO_OCELOT_C is not set
  63. # CONFIG_MOMENCO_OCELOT_3 is not set
  64. # CONFIG_MOMENCO_JAGUAR_ATX is not set
  65. # CONFIG_PMC_YOSEMITE is not set
  66. # CONFIG_DDB5074 is not set
  67. # CONFIG_DDB5476 is not set
  68. # CONFIG_DDB5477 is not set
  69. # CONFIG_NEC_OSPREY is not set
  70. # CONFIG_SGI_IP22 is not set
  71. # CONFIG_SGI_IP27 is not set
  72. # CONFIG_SGI_IP32 is not set
  73. # CONFIG_SIBYTE_SB1xxx_SOC is not set
  74. # CONFIG_SNI_RM200_PCI is not set
  75. CONFIG_RWSEM_GENERIC_SPINLOCK=y
  76. CONFIG_GENERIC_CALIBRATE_DELAY=y
  77. CONFIG_HAVE_DEC_LOCK=y
  78. CONFIG_DMA_NONCOHERENT=y
  79. CONFIG_DMA_NEED_PCI_MAP_STATE=y
  80. # CONFIG_CPU_LITTLE_ENDIAN is not set
  81. CONFIG_IRQ_CPU=y
  82. CONFIG_IRQ_CPU_RM7K=y
  83. CONFIG_PCI_MARVELL=y
  84. CONFIG_SWAP_IO_SPACE=y
  85. # CONFIG_SYSCLK_75 is not set
  86. # CONFIG_SYSCLK_83 is not set
  87. CONFIG_SYSCLK_100=y
  88. CONFIG_MIPS_L1_CACHE_SHIFT=5
  89. #
  90. # CPU selection
  91. #
  92. # CONFIG_CPU_MIPS32 is not set
  93. # CONFIG_CPU_MIPS64 is not set
  94. # CONFIG_CPU_R3000 is not set
  95. # CONFIG_CPU_TX39XX is not set
  96. # CONFIG_CPU_VR41XX is not set
  97. # CONFIG_CPU_R4300 is not set
  98. # CONFIG_CPU_R4X00 is not set
  99. # CONFIG_CPU_TX49XX is not set
  100. # CONFIG_CPU_R5000 is not set
  101. # CONFIG_CPU_R5432 is not set
  102. # CONFIG_CPU_R6000 is not set
  103. # CONFIG_CPU_NEVADA is not set
  104. # CONFIG_CPU_R8000 is not set
  105. # CONFIG_CPU_R10000 is not set
  106. CONFIG_CPU_RM7000=y
  107. # CONFIG_CPU_RM9000 is not set
  108. # CONFIG_CPU_SB1 is not set
  109. CONFIG_PAGE_SIZE_4KB=y
  110. # CONFIG_PAGE_SIZE_8KB is not set
  111. # CONFIG_PAGE_SIZE_16KB is not set
  112. # CONFIG_PAGE_SIZE_64KB is not set
  113. CONFIG_BOARD_SCACHE=y
  114. CONFIG_RM7000_CPU_SCACHE=y
  115. CONFIG_CPU_HAS_PREFETCH=y
  116. CONFIG_CPU_HAS_LLSC=y
  117. CONFIG_CPU_HAS_LLDSCD=y
  118. CONFIG_CPU_HAS_SYNC=y
  119. # CONFIG_PREEMPT is not set
  120. #
  121. # Bus options (PCI, PCMCIA, EISA, ISA, TC)
  122. #
  123. CONFIG_HW_HAS_PCI=y
  124. CONFIG_PCI=y
  125. CONFIG_PCI_LEGACY_PROC=y
  126. CONFIG_PCI_NAMES=y
  127. CONFIG_MMU=y
  128. #
  129. # PCCARD (PCMCIA/CardBus) support
  130. #
  131. # CONFIG_PCCARD is not set
  132. #
  133. # PC-card bridges
  134. #
  135. #
  136. # PCI Hotplug Support
  137. #
  138. # CONFIG_HOTPLUG_PCI is not set
  139. #
  140. # Executable file formats
  141. #
  142. CONFIG_BINFMT_ELF=y
  143. # CONFIG_BINFMT_MISC is not set
  144. # CONFIG_BUILD_ELF64 is not set
  145. CONFIG_MIPS32_COMPAT=y
  146. CONFIG_COMPAT=y
  147. CONFIG_MIPS32_O32=y
  148. CONFIG_MIPS32_N32=y
  149. CONFIG_BINFMT_ELF32=y
  150. #
  151. # Device Drivers
  152. #
  153. #
  154. # Generic Driver Options
  155. #
  156. CONFIG_STANDALONE=y
  157. CONFIG_PREVENT_FIRMWARE_BUILD=y
  158. # CONFIG_FW_LOADER is not set
  159. #
  160. # Memory Technology Devices (MTD)
  161. #
  162. # CONFIG_MTD is not set
  163. #
  164. # Parallel port support
  165. #
  166. # CONFIG_PARPORT is not set
  167. #
  168. # Plug and Play support
  169. #
  170. #
  171. # Block devices
  172. #
  173. # CONFIG_BLK_DEV_FD is not set
  174. # CONFIG_BLK_CPQ_DA is not set
  175. # CONFIG_BLK_CPQ_CISS_DA is not set
  176. # CONFIG_BLK_DEV_DAC960 is not set
  177. # CONFIG_BLK_DEV_UMEM is not set
  178. # CONFIG_BLK_DEV_COW_COMMON is not set
  179. # CONFIG_BLK_DEV_LOOP is not set
  180. # CONFIG_BLK_DEV_NBD is not set
  181. # CONFIG_BLK_DEV_SX8 is not set
  182. # CONFIG_BLK_DEV_RAM is not set
  183. CONFIG_BLK_DEV_RAM_COUNT=16
  184. CONFIG_INITRAMFS_SOURCE=""
  185. CONFIG_CDROM_PKTCDVD=y
  186. CONFIG_CDROM_PKTCDVD_BUFFERS=8
  187. # CONFIG_CDROM_PKTCDVD_WCACHE is not set
  188. #
  189. # IO Schedulers
  190. #
  191. CONFIG_IOSCHED_NOOP=y
  192. CONFIG_IOSCHED_AS=y
  193. CONFIG_IOSCHED_DEADLINE=y
  194. CONFIG_IOSCHED_CFQ=y
  195. CONFIG_ATA_OVER_ETH=y
  196. #
  197. # ATA/ATAPI/MFM/RLL support
  198. #
  199. # CONFIG_IDE is not set
  200. #
  201. # SCSI device support
  202. #
  203. # CONFIG_SCSI is not set
  204. #
  205. # Multi-device support (RAID and LVM)
  206. #
  207. # CONFIG_MD is not set
  208. #
  209. # Fusion MPT device support
  210. #
  211. #
  212. # IEEE 1394 (FireWire) support
  213. #
  214. # CONFIG_IEEE1394 is not set
  215. #
  216. # I2O device support
  217. #
  218. # CONFIG_I2O is not set
  219. #
  220. # Networking support
  221. #
  222. CONFIG_NET=y
  223. #
  224. # Networking options
  225. #
  226. # CONFIG_PACKET is not set
  227. CONFIG_NETLINK_DEV=y
  228. CONFIG_UNIX=y
  229. CONFIG_NET_KEY=y
  230. CONFIG_INET=y
  231. # CONFIG_IP_MULTICAST is not set
  232. # CONFIG_IP_ADVANCED_ROUTER is not set
  233. CONFIG_IP_PNP=y
  234. CONFIG_IP_PNP_DHCP=y
  235. # CONFIG_IP_PNP_BOOTP is not set
  236. # CONFIG_IP_PNP_RARP is not set
  237. # CONFIG_NET_IPIP is not set
  238. # CONFIG_NET_IPGRE is not set
  239. # CONFIG_ARPD is not set
  240. # CONFIG_SYN_COOKIES is not set
  241. # CONFIG_INET_AH is not set
  242. # CONFIG_INET_ESP is not set
  243. # CONFIG_INET_IPCOMP is not set
  244. CONFIG_INET_TUNNEL=y
  245. CONFIG_IP_TCPDIAG=y
  246. # CONFIG_IP_TCPDIAG_IPV6 is not set
  247. # CONFIG_IPV6 is not set
  248. # CONFIG_NETFILTER is not set
  249. CONFIG_XFRM=y
  250. CONFIG_XFRM_USER=y
  251. #
  252. # SCTP Configuration (EXPERIMENTAL)
  253. #
  254. # CONFIG_IP_SCTP is not set
  255. # CONFIG_ATM is not set
  256. # CONFIG_BRIDGE is not set
  257. # CONFIG_VLAN_8021Q is not set
  258. # CONFIG_DECNET is not set
  259. # CONFIG_LLC2 is not set
  260. # CONFIG_IPX is not set
  261. # CONFIG_ATALK is not set
  262. # CONFIG_X25 is not set
  263. # CONFIG_LAPB is not set
  264. # CONFIG_NET_DIVERT is not set
  265. # CONFIG_ECONET is not set
  266. # CONFIG_WAN_ROUTER is not set
  267. #
  268. # QoS and/or fair queueing
  269. #
  270. # CONFIG_NET_SCHED is not set
  271. # CONFIG_NET_CLS_ROUTE is not set
  272. #
  273. # Network testing
  274. #
  275. # CONFIG_NET_PKTGEN is not set
  276. # CONFIG_NETPOLL is not set
  277. # CONFIG_NET_POLL_CONTROLLER is not set
  278. # CONFIG_HAMRADIO is not set
  279. # CONFIG_IRDA is not set
  280. # CONFIG_BT is not set
  281. CONFIG_NETDEVICES=y
  282. # CONFIG_DUMMY is not set
  283. # CONFIG_BONDING is not set
  284. # CONFIG_EQUALIZER is not set
  285. # CONFIG_TUN is not set
  286. # CONFIG_ETHERTAP is not set
  287. #
  288. # ARCnet devices
  289. #
  290. # CONFIG_ARCNET is not set
  291. #
  292. # Ethernet (10 or 100Mbit)
  293. #
  294. CONFIG_NET_ETHERNET=y
  295. CONFIG_MII=y
  296. CONFIG_GALILEO_64240_ETH=y
  297. # CONFIG_HAPPYMEAL is not set
  298. # CONFIG_SUNGEM is not set
  299. # CONFIG_NET_VENDOR_3COM is not set
  300. #
  301. # Tulip family network device support
  302. #
  303. # CONFIG_NET_TULIP is not set
  304. # CONFIG_HP100 is not set
  305. # CONFIG_NET_PCI is not set
  306. #
  307. # Ethernet (1000 Mbit)
  308. #
  309. # CONFIG_ACENIC is not set
  310. # CONFIG_DL2K is not set
  311. # CONFIG_E1000 is not set
  312. # CONFIG_NS83820 is not set
  313. # CONFIG_HAMACHI is not set
  314. # CONFIG_YELLOWFIN is not set
  315. # CONFIG_R8169 is not set
  316. # CONFIG_SK98LIN is not set
  317. # CONFIG_TIGON3 is not set
  318. #
  319. # Ethernet (10000 Mbit)
  320. #
  321. # CONFIG_IXGB is not set
  322. # CONFIG_S2IO is not set
  323. #
  324. # Token Ring devices
  325. #
  326. # CONFIG_TR is not set
  327. #
  328. # Wireless LAN (non-hamradio)
  329. #
  330. # CONFIG_NET_RADIO is not set
  331. #
  332. # Wan interfaces
  333. #
  334. # CONFIG_WAN is not set
  335. # CONFIG_FDDI is not set
  336. # CONFIG_HIPPI is not set
  337. # CONFIG_PPP is not set
  338. # CONFIG_SLIP is not set
  339. # CONFIG_SHAPER is not set
  340. # CONFIG_NETCONSOLE is not set
  341. #
  342. # ISDN subsystem
  343. #
  344. # CONFIG_ISDN is not set
  345. #
  346. # Telephony Support
  347. #
  348. # CONFIG_PHONE is not set
  349. #
  350. # Input device support
  351. #
  352. CONFIG_INPUT=y
  353. #
  354. # Userland interfaces
  355. #
  356. CONFIG_INPUT_MOUSEDEV=y
  357. CONFIG_INPUT_MOUSEDEV_PSAUX=y
  358. CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
  359. CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
  360. # CONFIG_INPUT_JOYDEV is not set
  361. # CONFIG_INPUT_TSDEV is not set
  362. # CONFIG_INPUT_EVDEV is not set
  363. # CONFIG_INPUT_EVBUG is not set
  364. #
  365. # Input I/O drivers
  366. #
  367. # CONFIG_GAMEPORT is not set
  368. CONFIG_SOUND_GAMEPORT=y
  369. CONFIG_SERIO=y
  370. # CONFIG_SERIO_I8042 is not set
  371. CONFIG_SERIO_SERPORT=y
  372. # CONFIG_SERIO_CT82C710 is not set
  373. # CONFIG_SERIO_PCIPS2 is not set
  374. # CONFIG_SERIO_LIBPS2 is not set
  375. CONFIG_SERIO_RAW=y
  376. #
  377. # Input Device Drivers
  378. #
  379. # CONFIG_INPUT_KEYBOARD is not set
  380. # CONFIG_INPUT_MOUSE is not set
  381. # CONFIG_INPUT_JOYSTICK is not set
  382. # CONFIG_INPUT_TOUCHSCREEN is not set
  383. # CONFIG_INPUT_MISC is not set
  384. #
  385. # Character devices
  386. #
  387. CONFIG_VT=y
  388. CONFIG_VT_CONSOLE=y
  389. CONFIG_HW_CONSOLE=y
  390. # CONFIG_SERIAL_NONSTANDARD is not set
  391. #
  392. # Serial drivers
  393. #
  394. CONFIG_SERIAL_8250=y
  395. CONFIG_SERIAL_8250_CONSOLE=y
  396. CONFIG_SERIAL_8250_NR_UARTS=4
  397. # CONFIG_SERIAL_8250_EXTENDED is not set
  398. #
  399. # Non-8250 serial port support
  400. #
  401. CONFIG_SERIAL_CORE=y
  402. CONFIG_SERIAL_CORE_CONSOLE=y
  403. CONFIG_UNIX98_PTYS=y
  404. CONFIG_LEGACY_PTYS=y
  405. CONFIG_LEGACY_PTY_COUNT=256
  406. #
  407. # IPMI
  408. #
  409. # CONFIG_IPMI_HANDLER is not set
  410. #
  411. # Watchdog Cards
  412. #
  413. # CONFIG_WATCHDOG is not set
  414. # CONFIG_RTC is not set
  415. # CONFIG_GEN_RTC is not set
  416. # CONFIG_DTLK is not set
  417. # CONFIG_R3964 is not set
  418. # CONFIG_APPLICOM is not set
  419. #
  420. # Ftape, the floppy tape device driver
  421. #
  422. # CONFIG_DRM is not set
  423. # CONFIG_RAW_DRIVER is not set
  424. #
  425. # I2C support
  426. #
  427. # CONFIG_I2C is not set
  428. #
  429. # Dallas's 1-wire bus
  430. #
  431. # CONFIG_W1 is not set
  432. #
  433. # Misc devices
  434. #
  435. #
  436. # Multimedia devices
  437. #
  438. # CONFIG_VIDEO_DEV is not set
  439. #
  440. # Digital Video Broadcasting Devices
  441. #
  442. # CONFIG_DVB is not set
  443. #
  444. # Graphics support
  445. #
  446. # CONFIG_FB is not set
  447. #
  448. # Console display driver support
  449. #
  450. # CONFIG_VGA_CONSOLE is not set
  451. CONFIG_DUMMY_CONSOLE=y
  452. # CONFIG_BACKLIGHT_LCD_SUPPORT is not set
  453. #
  454. # Sound
  455. #
  456. # CONFIG_SOUND is not set
  457. #
  458. # USB support
  459. #
  460. # CONFIG_USB is not set
  461. CONFIG_USB_ARCH_HAS_HCD=y
  462. CONFIG_USB_ARCH_HAS_OHCI=y
  463. #
  464. # NOTE: USB_STORAGE enables SCSI, and 'SCSI disk support' may also be needed; see USB_STORAGE Help for more information
  465. #
  466. #
  467. # USB Gadget Support
  468. #
  469. # CONFIG_USB_GADGET is not set
  470. #
  471. # MMC/SD Card support
  472. #
  473. # CONFIG_MMC is not set
  474. #
  475. # InfiniBand support
  476. #
  477. # CONFIG_INFINIBAND is not set
  478. #
  479. # File systems
  480. #
  481. CONFIG_EXT2_FS=y
  482. # CONFIG_EXT2_FS_XATTR is not set
  483. # CONFIG_EXT3_FS is not set
  484. # CONFIG_JBD is not set
  485. # CONFIG_REISERFS_FS is not set
  486. # CONFIG_JFS_FS is not set
  487. # CONFIG_XFS_FS is not set
  488. # CONFIG_MINIX_FS is not set
  489. # CONFIG_ROMFS_FS is not set
  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. #
  495. # CD-ROM/DVD Filesystems
  496. #
  497. # CONFIG_ISO9660_FS is not set
  498. # CONFIG_UDF_FS is not set
  499. #
  500. # DOS/FAT/NT Filesystems
  501. #
  502. # CONFIG_MSDOS_FS is not set
  503. # CONFIG_VFAT_FS is not set
  504. # CONFIG_NTFS_FS is not set
  505. #
  506. # Pseudo filesystems
  507. #
  508. CONFIG_PROC_FS=y
  509. CONFIG_PROC_KCORE=y
  510. CONFIG_SYSFS=y
  511. # CONFIG_DEVFS_FS is not set
  512. CONFIG_DEVPTS_FS_XATTR=y
  513. CONFIG_DEVPTS_FS_SECURITY=y
  514. # CONFIG_TMPFS is not set
  515. # CONFIG_HUGETLB_PAGE is not set
  516. CONFIG_RAMFS=y
  517. #
  518. # Miscellaneous filesystems
  519. #
  520. # CONFIG_ADFS_FS is not set
  521. # CONFIG_AFFS_FS is not set
  522. # CONFIG_HFS_FS is not set
  523. # CONFIG_HFSPLUS_FS is not set
  524. # CONFIG_BEFS_FS is not set
  525. # CONFIG_BFS_FS is not set
  526. # CONFIG_EFS_FS is not set
  527. # CONFIG_CRAMFS is not set
  528. # CONFIG_VXFS_FS is not set
  529. # CONFIG_HPFS_FS is not set
  530. # CONFIG_QNX4FS_FS is not set
  531. # CONFIG_SYSV_FS is not set
  532. # CONFIG_UFS_FS is not set
  533. #
  534. # Network File Systems
  535. #
  536. CONFIG_NFS_FS=y
  537. # CONFIG_NFS_V3 is not set
  538. # CONFIG_NFS_V4 is not set
  539. # CONFIG_NFS_DIRECTIO is not set
  540. CONFIG_NFSD=y
  541. # CONFIG_NFSD_V3 is not set
  542. # CONFIG_NFSD_TCP is not set
  543. CONFIG_ROOT_NFS=y
  544. CONFIG_LOCKD=y
  545. CONFIG_EXPORTFS=y
  546. CONFIG_SUNRPC=y
  547. # CONFIG_RPCSEC_GSS_KRB5 is not set
  548. # CONFIG_RPCSEC_GSS_SPKM3 is not set
  549. # CONFIG_SMB_FS is not set
  550. # CONFIG_CIFS is not set
  551. # CONFIG_NCP_FS is not set
  552. # CONFIG_CODA_FS is not set
  553. # CONFIG_AFS_FS is not set
  554. #
  555. # Partition Types
  556. #
  557. # CONFIG_PARTITION_ADVANCED is not set
  558. CONFIG_MSDOS_PARTITION=y
  559. #
  560. # Native Language Support
  561. #
  562. # CONFIG_NLS is not set
  563. #
  564. # Profiling support
  565. #
  566. # CONFIG_PROFILING is not set
  567. #
  568. # Kernel hacking
  569. #
  570. # CONFIG_DEBUG_KERNEL is not set
  571. CONFIG_CROSSCOMPILE=y
  572. CONFIG_CMDLINE=""
  573. #
  574. # Security options
  575. #
  576. CONFIG_KEYS=y
  577. CONFIG_KEYS_DEBUG_PROC_KEYS=y
  578. # CONFIG_SECURITY is not set
  579. #
  580. # Cryptographic options
  581. #
  582. # CONFIG_CRYPTO is not set
  583. #
  584. # Hardware crypto devices
  585. #
  586. #
  587. # Library routines
  588. #
  589. # CONFIG_CRC_CCITT is not set
  590. # CONFIG_CRC32 is not set
  591. # CONFIG_LIBCRC32C is not set
  592. CONFIG_GENERIC_HARDIRQS=y
  593. CONFIG_GENERIC_IRQ_PROBE=y