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