Merge master.kernel.org:/pub/scm/linux/kernel/git/gregkh/driver-2.6
[linux-2.6] / arch / ppc / configs / sandpoint_defconfig
1 #
2 # Automatically generated make config: don't edit
3 #
4 CONFIG_MMU=y
5 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
6 CONFIG_HAVE_DEC_LOCK=y
7 CONFIG_PPC=y
8 CONFIG_PPC32=y
9 CONFIG_GENERIC_NVRAM=y
10
11 #
12 # Code maturity level options
13 #
14 CONFIG_EXPERIMENTAL=y
15 CONFIG_CLEAN_COMPILE=y
16 CONFIG_STANDALONE=y
17 CONFIG_BROKEN_ON_SMP=y
18
19 #
20 # General setup
21 #
22 # CONFIG_SWAP is not set
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=y
30 # CONFIG_IKCONFIG is not set
31 CONFIG_EMBEDDED=y
32 CONFIG_KALLSYMS=y
33 CONFIG_FUTEX=y
34 CONFIG_EPOLL=y
35 CONFIG_IOSCHED_NOOP=y
36 CONFIG_IOSCHED_AS=y
37 CONFIG_IOSCHED_DEADLINE=y
38 CONFIG_IOSCHED_CFQ=y
39 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
40
41 #
42 # Loadable module support
43 #
44 CONFIG_MODULES=y
45 CONFIG_MODULE_UNLOAD=y
46 # CONFIG_MODULE_FORCE_UNLOAD is not set
47 CONFIG_OBSOLETE_MODPARM=y
48 # CONFIG_MODVERSIONS is not set
49 CONFIG_KMOD=y
50
51 #
52 # Processor
53 #
54 CONFIG_6xx=y
55 # CONFIG_40x is not set
56 # CONFIG_44x is not set
57 # CONFIG_POWER3 is not set
58 # CONFIG_POWER4 is not set
59 # CONFIG_8xx is not set
60 CONFIG_ALTIVEC=y
61 # CONFIG_TAU is not set
62 # CONFIG_CPU_FREQ is not set
63 CONFIG_PPC_STD_MMU=y
64
65 #
66 # Platform options
67 #
68 # CONFIG_PPC_MULTIPLATFORM is not set
69 # CONFIG_APUS is not set
70 # CONFIG_WILLOW is not set
71 # CONFIG_PCORE is not set
72 # CONFIG_POWERPMC250 is not set
73 # CONFIG_EV64260 is not set
74 # CONFIG_SPRUCE is not set
75 # CONFIG_LOPEC is not set
76 # CONFIG_MCPN765 is not set
77 # CONFIG_MVME5100 is not set
78 # CONFIG_PPLUS is not set
79 # CONFIG_PRPMC750 is not set
80 # CONFIG_PRPMC800 is not set
81 CONFIG_SANDPOINT=y
82 # CONFIG_ADIR is not set
83 # CONFIG_K2 is not set
84 # CONFIG_PAL4 is not set
85 # CONFIG_GEMINI is not set
86 # CONFIG_EST8260 is not set
87 # CONFIG_SBS8260 is not set
88 # CONFIG_RPX6 is not set
89 # CONFIG_TQM8260 is not set
90 CONFIG_PPC_GEN550=y
91 CONFIG_EPIC_SERIAL_MODE=y
92 CONFIG_MPC10X_BRIDGE=y
93 # CONFIG_MPC10X_STORE_GATHERING is not set
94 # CONFIG_SMP is not set
95 # CONFIG_PREEMPT is not set
96 # CONFIG_HIGHMEM is not set
97 CONFIG_KERNEL_ELF=y
98 CONFIG_BINFMT_ELF=y
99 CONFIG_BINFMT_MISC=m
100 CONFIG_CMDLINE_BOOL=y
101 CONFIG_CMDLINE="ip=on"
102
103 #
104 # Bus options
105 #
106 CONFIG_GENERIC_ISA_DMA=y
107 CONFIG_PCI=y
108 CONFIG_PCI_DOMAINS=y
109 # CONFIG_PCI_LEGACY_PROC is not set
110 # CONFIG_PCI_NAMES is not set
111
112 #
113 # PCMCIA/CardBus support
114 #
115 # CONFIG_PCMCIA is not set
116
117 #
118 # Advanced setup
119 #
120 # CONFIG_ADVANCED_OPTIONS is not set
121
122 #
123 # Default settings for advanced configuration options are used
124 #
125 CONFIG_HIGHMEM_START=0xfe000000
126 CONFIG_LOWMEM_SIZE=0x30000000
127 CONFIG_KERNEL_START=0xc0000000
128 CONFIG_TASK_SIZE=0x80000000
129 CONFIG_BOOT_LOAD=0x00800000
130
131 #
132 # Device Drivers
133 #
134
135 #
136 # Generic Driver Options
137 #
138 # CONFIG_FW_LOADER is not set
139
140 #
141 # Memory Technology Devices (MTD)
142 #
143 # CONFIG_MTD is not set
144
145 #
146 # Parallel port support
147 #
148 # CONFIG_PARPORT is not set
149
150 #
151 # Plug and Play support
152 #
153
154 #
155 # Block devices
156 #
157 # CONFIG_BLK_DEV_FD is not set
158 # CONFIG_BLK_CPQ_DA is not set
159 # CONFIG_BLK_CPQ_CISS_DA is not set
160 # CONFIG_BLK_DEV_DAC960 is not set
161 # CONFIG_BLK_DEV_UMEM is not set
162 CONFIG_BLK_DEV_LOOP=y
163 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
164 # CONFIG_BLK_DEV_NBD is not set
165 # CONFIG_BLK_DEV_CARMEL is not set
166 CONFIG_BLK_DEV_RAM=y
167 CONFIG_BLK_DEV_RAM_SIZE=4096
168 CONFIG_BLK_DEV_INITRD=y
169 # CONFIG_LBD is not set
170
171 #
172 # ATA/ATAPI/MFM/RLL support
173 #
174 CONFIG_IDE=y
175 CONFIG_BLK_DEV_IDE=y
176
177 #
178 # Please see Documentation/ide.txt for help/info on IDE drives
179 #
180 CONFIG_BLK_DEV_IDEDISK=y
181 # CONFIG_IDEDISK_MULTI_MODE is not set
182 # CONFIG_IDEDISK_STROKE is not set
183 CONFIG_BLK_DEV_IDECD=y
184 # CONFIG_BLK_DEV_IDETAPE is not set
185 # CONFIG_BLK_DEV_IDEFLOPPY is not set
186 # CONFIG_IDE_TASK_IOCTL is not set
187 CONFIG_IDE_TASKFILE_IO=y
188
189 #
190 # IDE chipset support/bugfixes
191 #
192 CONFIG_IDE_GENERIC=y
193 # CONFIG_BLK_DEV_IDEPCI is not set
194 # CONFIG_BLK_DEV_IDEDMA is not set
195 # CONFIG_IDEDMA_AUTO is not set
196 # CONFIG_BLK_DEV_HD is not set
197
198 #
199 # SCSI device support
200 #
201 # CONFIG_SCSI is not set
202
203 #
204 # Multi-device support (RAID and LVM)
205 #
206 # CONFIG_MD is not set
207
208 #
209 # Fusion MPT device support
210 #
211
212 #
213 # IEEE 1394 (FireWire) support
214 #
215 # CONFIG_IEEE1394 is not set
216
217 #
218 # I2O device support
219 #
220 # CONFIG_I2O is not set
221
222 #
223 # Macintosh device drivers
224 #
225
226 #
227 # Networking support
228 #
229 CONFIG_NET=y
230
231 #
232 # Networking options
233 #
234 CONFIG_PACKET=y
235 # CONFIG_PACKET_MMAP is not set
236 # CONFIG_NETLINK_DEV is not set
237 CONFIG_UNIX=y
238 # CONFIG_NET_KEY is not set
239 CONFIG_INET=y
240 CONFIG_IP_MULTICAST=y
241 # CONFIG_IP_ADVANCED_ROUTER is not set
242 CONFIG_IP_PNP=y
243 # CONFIG_IP_PNP_DHCP is not set
244 CONFIG_IP_PNP_BOOTP=y
245 # CONFIG_IP_PNP_RARP is not set
246 # CONFIG_NET_IPIP is not set
247 # CONFIG_NET_IPGRE is not set
248 # CONFIG_IP_MROUTE is not set
249 # CONFIG_ARPD is not set
250 # CONFIG_SYN_COOKIES is not set
251 # CONFIG_INET_AH is not set
252 # CONFIG_INET_ESP is not set
253 # CONFIG_INET_IPCOMP is not set
254 # CONFIG_IPV6 is not set
255 # CONFIG_NETFILTER is not set
256
257 #
258 # SCTP Configuration (EXPERIMENTAL)
259 #
260 # CONFIG_IP_SCTP is not set
261 # CONFIG_ATM is not set
262 # CONFIG_BRIDGE is not set
263 # CONFIG_VLAN_8021Q is not set
264 # CONFIG_DECNET is not set
265 # CONFIG_LLC2 is not set
266 # CONFIG_IPX is not set
267 # CONFIG_ATALK is not set
268 # CONFIG_X25 is not set
269 # CONFIG_LAPB is not set
270 # CONFIG_NET_DIVERT is not set
271 # CONFIG_ECONET is not set
272 # CONFIG_WAN_ROUTER is not set
273 # CONFIG_NET_HW_FLOWCONTROL is not set
274
275 #
276 # QoS and/or fair queueing
277 #
278 # CONFIG_NET_SCHED is not set
279
280 #
281 # Network testing
282 #
283 # CONFIG_NET_PKTGEN is not set
284 # CONFIG_NETPOLL is not set
285 # CONFIG_NET_POLL_CONTROLLER is not set
286 # CONFIG_HAMRADIO is not set
287 # CONFIG_IRDA is not set
288 # CONFIG_BT is not set
289 CONFIG_NETDEVICES=y
290 CONFIG_DUMMY=m
291 # CONFIG_BONDING is not set
292 # CONFIG_EQUALIZER is not set
293 # CONFIG_TUN is not set
294
295 #
296 # ARCnet devices
297 #
298 # CONFIG_ARCNET is not set
299
300 #
301 # Ethernet (10 or 100Mbit)
302 #
303 CONFIG_NET_ETHERNET=y
304 CONFIG_MII=y
305 # CONFIG_OAKNET is not set
306 # CONFIG_HAPPYMEAL is not set
307 # CONFIG_SUNGEM is not set
308 CONFIG_NET_VENDOR_3COM=y
309 CONFIG_VORTEX=y
310 # CONFIG_TYPHOON is not set
311
312 #
313 # Tulip family network device support
314 #
315 CONFIG_NET_TULIP=y
316 # CONFIG_DE2104X is not set
317 CONFIG_TULIP=y
318 # CONFIG_TULIP_MWI is not set
319 # CONFIG_TULIP_MMIO is not set
320 # CONFIG_TULIP_NAPI is not set
321 # CONFIG_DE4X5 is not set
322 # CONFIG_WINBOND_840 is not set
323 # CONFIG_DM9102 is not set
324 # CONFIG_HP100 is not set
325 CONFIG_NET_PCI=y
326 # CONFIG_PCNET32 is not set
327 # CONFIG_AMD8111_ETH is not set
328 # CONFIG_ADAPTEC_STARFIRE is not set
329 # CONFIG_B44 is not set
330 # CONFIG_FORCEDETH is not set
331 # CONFIG_DGRS is not set
332 # CONFIG_EEPRO100 is not set
333 CONFIG_E100=y
334 # CONFIG_E100_NAPI is not set
335 # CONFIG_FEALNX is not set
336 # CONFIG_NATSEMI is not set
337 # CONFIG_NE2K_PCI is not set
338 # CONFIG_8139CP is not set
339 CONFIG_8139TOO=y
340 CONFIG_8139TOO_PIO=y
341 # CONFIG_8139TOO_TUNE_TWISTER is not set
342 # CONFIG_8139TOO_8129 is not set
343 # CONFIG_8139_OLD_RX_RESET is not set
344 # CONFIG_SIS900 is not set
345 # CONFIG_EPIC100 is not set
346 # CONFIG_SUNDANCE is not set
347 # CONFIG_TLAN is not set
348 # CONFIG_VIA_RHINE is not set
349
350 #
351 # Ethernet (1000 Mbit)
352 #
353 # CONFIG_ACENIC is not set
354 # CONFIG_DL2K is not set
355 # CONFIG_E1000 is not set
356 # CONFIG_NS83820 is not set
357 # CONFIG_HAMACHI is not set
358 # CONFIG_YELLOWFIN is not set
359 # CONFIG_R8169 is not set
360 # CONFIG_SK98LIN is not set
361 # CONFIG_TIGON3 is not set
362
363 #
364 # Ethernet (10000 Mbit)
365 #
366 # CONFIG_IXGB is not set
367 # CONFIG_S2IO is not set
368
369 #
370 # Token Ring devices
371 #
372 # CONFIG_TR is not set
373
374 #
375 # Wireless LAN (non-hamradio)
376 #
377 # CONFIG_NET_RADIO is not set
378
379 #
380 # Wan interfaces
381 #
382 # CONFIG_WAN is not set
383 # CONFIG_FDDI is not set
384 # CONFIG_HIPPI is not set
385 CONFIG_PPP=m
386 # CONFIG_PPP_MULTILINK is not set
387 # CONFIG_PPP_FILTER is not set
388 CONFIG_PPP_ASYNC=m
389 CONFIG_PPP_SYNC_TTY=m
390 CONFIG_PPP_DEFLATE=m
391 CONFIG_PPP_BSDCOMP=m
392 # CONFIG_PPPOE is not set
393 # CONFIG_SLIP is not set
394 # CONFIG_RCPCI is not set
395 # CONFIG_SHAPER is not set
396 # CONFIG_NETCONSOLE is not set
397
398 #
399 # ISDN subsystem
400 #
401 # CONFIG_ISDN is not set
402
403 #
404 # Telephony Support
405 #
406 # CONFIG_PHONE is not set
407
408 #
409 # Input device support
410 #
411 # CONFIG_INPUT is not set
412
413 #
414 # Userland interfaces
415 #
416
417 #
418 # Input I/O drivers
419 #
420 # CONFIG_GAMEPORT is not set
421 CONFIG_SOUND_GAMEPORT=y
422 # CONFIG_SERIO is not set
423 # CONFIG_SERIO_I8042 is not set
424
425 #
426 # Input Device Drivers
427 #
428
429 #
430 # Character devices
431 #
432 # CONFIG_VT is not set
433 # CONFIG_SERIAL_NONSTANDARD is not set
434
435 #
436 # Serial drivers
437 #
438 CONFIG_SERIAL_8250=y
439 CONFIG_SERIAL_8250_CONSOLE=y
440 CONFIG_SERIAL_8250_NR_UARTS=4
441 # CONFIG_SERIAL_8250_EXTENDED is not set
442
443 #
444 # Non-8250 serial port support
445 #
446 CONFIG_SERIAL_CORE=y
447 CONFIG_SERIAL_CORE_CONSOLE=y
448 CONFIG_UNIX98_PTYS=y
449 CONFIG_LEGACY_PTYS=y
450 CONFIG_LEGACY_PTY_COUNT=256
451 # CONFIG_QIC02_TAPE is not set
452
453 #
454 # IPMI
455 #
456 # CONFIG_IPMI_HANDLER is not set
457
458 #
459 # Watchdog Cards
460 #
461 # CONFIG_WATCHDOG is not set
462 # CONFIG_NVRAM is not set
463 CONFIG_GEN_RTC=y
464 # CONFIG_GEN_RTC_X is not set
465 # CONFIG_DTLK is not set
466 # CONFIG_R3964 is not set
467 # CONFIG_APPLICOM is not set
468
469 #
470 # Ftape, the floppy tape device driver
471 #
472 # CONFIG_FTAPE is not set
473 # CONFIG_AGP is not set
474 # CONFIG_DRM is not set
475 # CONFIG_RAW_DRIVER is not set
476
477 #
478 # I2C support
479 #
480 # CONFIG_I2C is not set
481
482 #
483 # Misc devices
484 #
485
486 #
487 # Multimedia devices
488 #
489 # CONFIG_VIDEO_DEV is not set
490
491 #
492 # Digital Video Broadcasting Devices
493 #
494 # CONFIG_DVB is not set
495
496 #
497 # Graphics support
498 #
499 # CONFIG_FB is not set
500
501 #
502 # Sound
503 #
504 # CONFIG_SOUND is not set
505
506 #
507 # USB support
508 #
509 CONFIG_USB=y
510 # CONFIG_USB_DEBUG is not set
511
512 #
513 # Miscellaneous USB options
514 #
515 CONFIG_USB_DEVICEFS=y
516 # CONFIG_USB_BANDWIDTH is not set
517 # CONFIG_USB_DYNAMIC_MINORS is not set
518
519 #
520 # USB Host Controller Drivers
521 #
522 # CONFIG_USB_EHCI_HCD is not set
523 CONFIG_USB_OHCI_HCD=y
524 # CONFIG_USB_UHCI_HCD is not set
525
526 #
527 # USB Device Class drivers
528 #
529 # CONFIG_USB_BLUETOOTH_TTY is not set
530 CONFIG_USB_ACM=m
531 # CONFIG_USB_PRINTER is not set
532 # CONFIG_USB_STORAGE is not set
533
534 #
535 # USB Human Interface Devices (HID)
536 #
537 # CONFIG_USB_HID is not set
538
539 #
540 # Input core support is needed for USB HID input layer or HIDBP support
541 #
542
543 #
544 # USB HID Boot Protocol drivers
545 #
546
547 #
548 # USB Imaging devices
549 #
550 # CONFIG_USB_MDC800 is not set
551
552 #
553 # USB Multimedia devices
554 #
555 # CONFIG_USB_DABUSB is not set
556
557 #
558 # Video4Linux support is needed for USB Multimedia device support
559 #
560
561 #
562 # USB Network adaptors
563 #
564 # CONFIG_USB_CATC is not set
565 # CONFIG_USB_KAWETH is not set
566 # CONFIG_USB_PEGASUS is not set
567 # CONFIG_USB_RTL8150 is not set
568 # CONFIG_USB_USBNET is not set
569
570 #
571 # USB port drivers
572 #
573
574 #
575 # USB Serial Converter support
576 #
577 CONFIG_USB_SERIAL=m
578 # CONFIG_USB_SERIAL_GENERIC is not set
579 # CONFIG_USB_SERIAL_BELKIN is not set
580 # CONFIG_USB_SERIAL_WHITEHEAT is not set
581 # CONFIG_USB_SERIAL_DIGI_ACCELEPORT is not set
582 # CONFIG_USB_SERIAL_EMPEG is not set
583 # CONFIG_USB_SERIAL_FTDI_SIO is not set
584 CONFIG_USB_SERIAL_VISOR=m
585 # CONFIG_USB_SERIAL_IPAQ is not set
586 # CONFIG_USB_SERIAL_IR is not set
587 # CONFIG_USB_SERIAL_EDGEPORT is not set
588 # CONFIG_USB_SERIAL_EDGEPORT_TI is not set
589 # CONFIG_USB_SERIAL_KEYSPAN_PDA is not set
590 # CONFIG_USB_SERIAL_KEYSPAN is not set
591 # CONFIG_USB_SERIAL_KLSI is not set
592 # CONFIG_USB_SERIAL_KOBIL_SCT is not set
593 # CONFIG_USB_SERIAL_MCT_U232 is not set
594 # CONFIG_USB_SERIAL_PL2303 is not set
595 # CONFIG_USB_SERIAL_SAFE is not set
596 # CONFIG_USB_SERIAL_CYBERJACK is not set
597 # CONFIG_USB_SERIAL_XIRCOM is not set
598 # CONFIG_USB_SERIAL_OMNINET is not set
599
600 #
601 # USB Miscellaneous drivers
602 #
603 # CONFIG_USB_EMI62 is not set
604 # CONFIG_USB_EMI26 is not set
605 # CONFIG_USB_TIGL is not set
606 # CONFIG_USB_AUERSWALD is not set
607 # CONFIG_USB_RIO500 is not set
608 # CONFIG_USB_LEGOTOWER is not set
609 # CONFIG_USB_LCD is not set
610 # CONFIG_USB_LED is not set
611 # CONFIG_USB_CYTHERM is not set
612 # CONFIG_USB_PHIDGETSERVO is not set
613 # CONFIG_USB_TEST is not set
614
615 #
616 # USB Gadget Support
617 #
618 # CONFIG_USB_GADGET is not set
619
620 #
621 # File systems
622 #
623 CONFIG_EXT2_FS=y
624 # CONFIG_EXT2_FS_XATTR is not set
625 CONFIG_EXT3_FS=y
626 CONFIG_EXT3_FS_XATTR=y
627 # CONFIG_EXT3_FS_POSIX_ACL is not set
628 # CONFIG_EXT3_FS_SECURITY is not set
629 CONFIG_JBD=y
630 # CONFIG_JBD_DEBUG is not set
631 CONFIG_FS_MBCACHE=y
632 # CONFIG_REISERFS_FS is not set
633 # CONFIG_JFS_FS is not set
634 # CONFIG_XFS_FS is not set
635 # CONFIG_MINIX_FS is not set
636 # CONFIG_ROMFS_FS is not set
637 # CONFIG_QUOTA is not set
638 # CONFIG_AUTOFS_FS is not set
639 # CONFIG_AUTOFS4_FS is not set
640
641 #
642 # CD-ROM/DVD Filesystems
643 #
644 CONFIG_ISO9660_FS=y
645 # CONFIG_JOLIET is not set
646 # CONFIG_ZISOFS is not set
647 # CONFIG_UDF_FS is not set
648
649 #
650 # DOS/FAT/NT Filesystems
651 #
652 # CONFIG_FAT_FS is not set
653 # CONFIG_NTFS_FS is not set
654
655 #
656 # Pseudo filesystems
657 #
658 CONFIG_PROC_FS=y
659 CONFIG_PROC_KCORE=y
660 CONFIG_SYSFS=y
661 # CONFIG_DEVFS_FS is not set
662 # CONFIG_DEVPTS_FS_XATTR is not set
663 CONFIG_TMPFS=y
664 # CONFIG_HUGETLB_PAGE is not set
665 CONFIG_RAMFS=y
666
667 #
668 # Miscellaneous filesystems
669 #
670 # CONFIG_ADFS_FS is not set
671 # CONFIG_AFFS_FS is not set
672 # CONFIG_HFS_FS is not set
673 # CONFIG_HFSPLUS_FS is not set
674 # CONFIG_BEFS_FS is not set
675 # CONFIG_BFS_FS is not set
676 # CONFIG_EFS_FS is not set
677 # CONFIG_CRAMFS is not set
678 # CONFIG_VXFS_FS is not set
679 # CONFIG_HPFS_FS is not set
680 # CONFIG_QNX4FS_FS is not set
681 # CONFIG_SYSV_FS is not set
682 # CONFIG_UFS_FS is not set
683
684 #
685 # Network File Systems
686 #
687 CONFIG_NFS_FS=y
688 CONFIG_NFS_V3=y
689 # CONFIG_NFS_V4 is not set
690 # CONFIG_NFS_DIRECTIO is not set
691 # CONFIG_NFSD is not set
692 CONFIG_ROOT_NFS=y
693 CONFIG_LOCKD=y
694 CONFIG_LOCKD_V4=y
695 # CONFIG_EXPORTFS is not set
696 CONFIG_SUNRPC=y
697 # CONFIG_RPCSEC_GSS_KRB5 is not set
698 # CONFIG_SMB_FS is not set
699 # CONFIG_CIFS is not set
700 # CONFIG_NCP_FS is not set
701 # CONFIG_CODA_FS is not set
702 # CONFIG_AFS_FS is not set
703
704 #
705 # Partition Types
706 #
707 # CONFIG_PARTITION_ADVANCED is not set
708 CONFIG_MSDOS_PARTITION=y
709
710 #
711 # Native Language Support
712 #
713 # CONFIG_NLS is not set
714
715 #
716 # Library routines
717 #
718 CONFIG_CRC32=y
719 # CONFIG_LIBCRC32C is not set
720 CONFIG_ZLIB_INFLATE=m
721 CONFIG_ZLIB_DEFLATE=m
722
723 #
724 # Kernel hacking
725 #
726 # CONFIG_DEBUG_KERNEL is not set
727 # CONFIG_SERIAL_TEXT_DEBUG is not set
728
729 #
730 # Security options
731 #
732 # CONFIG_SECURITY is not set
733
734 #
735 # Cryptographic options
736 #
737 # CONFIG_CRYPTO is not set