x86: arch/x86/mm/init_32.c cleanup
[wrt350n-kernel.git] / arch / ppc / configs / ev64260_defconfig
blob587e9a3b9491fc87daea82248228be7931456b58
2 # Automatically generated make config: don't edit
3 # Linux kernel version: 2.6.10-rc2
4 # Fri Nov 19 11:17:02 2004
6 CONFIG_MMU=y
7 CONFIG_GENERIC_HARDIRQS=y
8 CONFIG_RWSEM_XCHGADD_ALGORITHM=y
9 CONFIG_HAVE_DEC_LOCK=y
10 CONFIG_PPC=y
11 CONFIG_PPC32=y
12 CONFIG_GENERIC_NVRAM=y
15 # Code maturity level options
17 CONFIG_EXPERIMENTAL=y
18 CONFIG_CLEAN_COMPILE=y
19 CONFIG_BROKEN_ON_SMP=y
22 # General setup
24 CONFIG_LOCALVERSION=""
25 CONFIG_SWAP=y
26 CONFIG_SYSVIPC=y
27 # CONFIG_POSIX_MQUEUE is not set
28 # CONFIG_BSD_PROCESS_ACCT is not set
29 CONFIG_SYSCTL=y
30 # CONFIG_AUDIT is not set
31 CONFIG_LOG_BUF_SHIFT=14
32 # CONFIG_HOTPLUG is not set
33 CONFIG_KOBJECT_UEVENT=y
34 # CONFIG_IKCONFIG is not set
35 # CONFIG_EMBEDDED is not set
36 CONFIG_KALLSYMS=y
37 # CONFIG_KALLSYMS_EXTRA_PASS is not set
38 CONFIG_FUTEX=y
39 CONFIG_EPOLL=y
40 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
41 CONFIG_SHMEM=y
42 CONFIG_CC_ALIGN_FUNCTIONS=0
43 CONFIG_CC_ALIGN_LABELS=0
44 CONFIG_CC_ALIGN_LOOPS=0
45 CONFIG_CC_ALIGN_JUMPS=0
46 # CONFIG_TINY_SHMEM is not set
49 # Loadable module support
51 CONFIG_MODULES=y
52 CONFIG_MODULE_UNLOAD=y
53 # CONFIG_MODULE_FORCE_UNLOAD is not set
54 CONFIG_OBSOLETE_MODPARM=y
55 # CONFIG_MODVERSIONS is not set
56 # CONFIG_MODULE_SRCVERSION_ALL is not set
57 CONFIG_KMOD=y
60 # Processor
62 CONFIG_6xx=y
63 # CONFIG_40x is not set
64 # CONFIG_44x is not set
65 # CONFIG_POWER3 is not set
66 # CONFIG_POWER4 is not set
67 # CONFIG_8xx is not set
68 # CONFIG_E500 is not set
69 CONFIG_ALTIVEC=y
70 CONFIG_TAU=y
71 # CONFIG_TAU_INT is not set
72 # CONFIG_TAU_AVERAGE is not set
73 # CONFIG_CPU_FREQ is not set
74 CONFIG_PPC_GEN550=y
75 CONFIG_PPC_STD_MMU=y
76 # CONFIG_NOT_COHERENT_CACHE is not set
79 # Platform options
81 # CONFIG_PPC_MULTIPLATFORM is not set
82 # CONFIG_APUS is not set
83 # CONFIG_WILLOW is not set
84 # CONFIG_PCORE is not set
85 # CONFIG_POWERPMC250 is not set
86 # CONFIG_SPRUCE is not set
87 CONFIG_EV64260=y
88 # CONFIG_LOPEC is not set
89 # CONFIG_MCPN765 is not set
90 # CONFIG_MVME5100 is not set
91 # CONFIG_PPLUS is not set
92 # CONFIG_PRPMC750 is not set
93 # CONFIG_PRPMC800 is not set
94 # CONFIG_SANDPOINT is not set
95 # CONFIG_ADIR is not set
96 # CONFIG_K2 is not set
97 # CONFIG_PAL4 is not set
98 # CONFIG_GEMINI is not set
99 # CONFIG_EST8260 is not set
100 # CONFIG_SBC82xx is not set
101 # CONFIG_SBS8260 is not set
102 # CONFIG_RPX8260 is not set
103 # CONFIG_TQM8260 is not set
104 # CONFIG_ADS8272 is not set
105 # CONFIG_LITE5200 is not set
106 CONFIG_GT64260=y
107 CONFIG_MV64X60=y
110 # Set bridge options
112 CONFIG_MV64X60_BASE=0xf1000000
113 CONFIG_MV64X60_NEW_BASE=0xfbe00000
114 # CONFIG_SMP is not set
115 # CONFIG_PREEMPT is not set
116 # CONFIG_HIGHMEM is not set
117 CONFIG_BINFMT_ELF=y
118 CONFIG_BINFMT_MISC=y
119 CONFIG_CMDLINE_BOOL=y
120 CONFIG_CMDLINE="console=ttyS0,115200 ip=on"
123 # Bus options
125 CONFIG_GENERIC_ISA_DMA=y
126 CONFIG_PCI=y
127 CONFIG_PCI_DOMAINS=y
128 CONFIG_PCI_LEGACY_PROC=y
129 CONFIG_PCI_NAMES=y
132 # Advanced setup
134 # CONFIG_ADVANCED_OPTIONS is not set
137 # Default settings for advanced configuration options are used
139 CONFIG_HIGHMEM_START=0xfe000000
140 CONFIG_LOWMEM_SIZE=0x30000000
141 CONFIG_KERNEL_START=0xc0000000
142 CONFIG_TASK_SIZE=0x80000000
143 CONFIG_BOOT_LOAD=0x00800000
146 # Device Drivers
150 # Generic Driver Options
152 CONFIG_STANDALONE=y
153 CONFIG_PREVENT_FIRMWARE_BUILD=y
156 # Memory Technology Devices (MTD)
158 # CONFIG_MTD is not set
161 # Parallel port support
163 # CONFIG_PARPORT is not set
166 # Plug and Play support
170 # Block devices
172 # CONFIG_BLK_DEV_FD is not set
173 # CONFIG_BLK_CPQ_DA is not set
174 # CONFIG_BLK_CPQ_CISS_DA is not set
175 # CONFIG_BLK_DEV_DAC960 is not set
176 # CONFIG_BLK_DEV_UMEM is not set
177 CONFIG_BLK_DEV_LOOP=y
178 # CONFIG_BLK_DEV_CRYPTOLOOP is not set
179 # CONFIG_BLK_DEV_NBD is not set
180 # CONFIG_BLK_DEV_SX8 is not set
181 CONFIG_BLK_DEV_RAM=y
182 CONFIG_BLK_DEV_RAM_SIZE=4096
183 CONFIG_BLK_DEV_INITRD=y
184 CONFIG_INITRAMFS_SOURCE=""
185 # CONFIG_LBD is not set
186 # CONFIG_CDROM_PKTCDVD is not set
189 # IO Schedulers
191 CONFIG_IOSCHED_NOOP=y
192 CONFIG_IOSCHED_AS=y
193 CONFIG_IOSCHED_DEADLINE=y
194 CONFIG_IOSCHED_CFQ=y
197 # ATA/ATAPI/MFM/RLL support
199 # CONFIG_IDE is not set
202 # SCSI device support
204 # CONFIG_SCSI is not set
207 # Multi-device support (RAID and LVM)
209 # CONFIG_MD is not set
212 # Fusion MPT device support
216 # IEEE 1394 (FireWire) support
218 # CONFIG_IEEE1394 is not set
221 # I2O device support
223 # CONFIG_I2O is not set
226 # Macintosh device drivers
230 # Networking support
232 CONFIG_NET=y
235 # Networking options
237 CONFIG_PACKET=y
238 # CONFIG_PACKET_MMAP is not set
239 # CONFIG_NETLINK_DEV is not set
240 CONFIG_UNIX=y
241 # CONFIG_NET_KEY is not set
242 CONFIG_INET=y
243 CONFIG_IP_MULTICAST=y
244 # CONFIG_IP_ADVANCED_ROUTER is not set
245 CONFIG_IP_PNP=y
246 CONFIG_IP_PNP_DHCP=y
247 # CONFIG_IP_PNP_BOOTP is not set
248 # CONFIG_IP_PNP_RARP is not set
249 # CONFIG_NET_IPIP is not set
250 # CONFIG_NET_IPGRE is not set
251 # CONFIG_IP_MROUTE is not set
252 # CONFIG_ARPD is not set
253 CONFIG_SYN_COOKIES=y
254 # CONFIG_INET_AH is not set
255 # CONFIG_INET_ESP is not set
256 # CONFIG_INET_IPCOMP is not set
257 # CONFIG_INET_TUNNEL is not set
258 CONFIG_IP_TCPDIAG=y
259 # CONFIG_IP_TCPDIAG_IPV6 is not set
262 # IP: Virtual Server Configuration
264 # CONFIG_IP_VS is not set
265 # CONFIG_IPV6 is not set
266 CONFIG_NETFILTER=y
267 # CONFIG_NETFILTER_DEBUG is not set
270 # IP: Netfilter Configuration
272 # CONFIG_IP_NF_CONNTRACK is not set
273 # CONFIG_IP_NF_CONNTRACK_MARK is not set
274 # CONFIG_IP_NF_QUEUE is not set
275 # CONFIG_IP_NF_IPTABLES is not set
276 # CONFIG_IP_NF_ARPTABLES is not set
277 # CONFIG_IP_NF_COMPAT_IPCHAINS is not set
278 # CONFIG_IP_NF_COMPAT_IPFWADM is not set
281 # SCTP Configuration (EXPERIMENTAL)
283 # CONFIG_IP_SCTP is not set
284 # CONFIG_ATM is not set
285 # CONFIG_BRIDGE is not set
286 # CONFIG_VLAN_8021Q is not set
287 # CONFIG_DECNET is not set
288 # CONFIG_LLC2 is not set
289 # CONFIG_IPX is not set
290 # CONFIG_ATALK is not set
291 # CONFIG_X25 is not set
292 # CONFIG_LAPB is not set
293 # CONFIG_NET_DIVERT is not set
294 # CONFIG_ECONET is not set
295 # CONFIG_WAN_ROUTER is not set
298 # QoS and/or fair queueing
300 # CONFIG_NET_SCHED is not set
301 # CONFIG_NET_CLS_ROUTE is not set
304 # Network testing
306 # CONFIG_NET_PKTGEN is not set
307 # CONFIG_NETPOLL is not set
308 # CONFIG_NET_POLL_CONTROLLER is not set
309 # CONFIG_HAMRADIO is not set
310 # CONFIG_IRDA is not set
311 # CONFIG_BT is not set
312 CONFIG_NETDEVICES=y
313 # CONFIG_DUMMY is not set
314 # CONFIG_BONDING is not set
315 # CONFIG_EQUALIZER is not set
316 # CONFIG_TUN is not set
319 # ARCnet devices
321 # CONFIG_ARCNET is not set
324 # Ethernet (10 or 100Mbit)
326 CONFIG_NET_ETHERNET=y
327 CONFIG_MII=y
328 # CONFIG_HAPPYMEAL is not set
329 # CONFIG_SUNGEM is not set
330 # CONFIG_NET_VENDOR_3COM is not set
333 # Tulip family network device support
335 CONFIG_NET_TULIP=y
336 # CONFIG_DE2104X is not set
337 CONFIG_TULIP=y
338 # CONFIG_TULIP_MWI is not set
339 # CONFIG_TULIP_MMIO is not set
340 # CONFIG_TULIP_NAPI is not set
341 # CONFIG_DE4X5 is not set
342 # CONFIG_WINBOND_840 is not set
343 # CONFIG_DM9102 is not set
344 # CONFIG_HP100 is not set
345 CONFIG_NET_PCI=y
346 # CONFIG_PCNET32 is not set
347 # CONFIG_AMD8111_ETH is not set
348 # CONFIG_ADAPTEC_STARFIRE is not set
349 # CONFIG_B44 is not set
350 # CONFIG_FORCEDETH is not set
351 # CONFIG_DGRS is not set
352 # CONFIG_EEPRO100 is not set
353 CONFIG_E100=y
354 # CONFIG_E100_NAPI is not set
355 # CONFIG_FEALNX is not set
356 # CONFIG_NATSEMI is not set
357 # CONFIG_NE2K_PCI is not set
358 # CONFIG_8139CP is not set
359 # CONFIG_8139TOO is not set
360 # CONFIG_SIS900 is not set
361 # CONFIG_EPIC100 is not set
362 # CONFIG_SUNDANCE is not set
363 # CONFIG_TLAN is not set
364 # CONFIG_VIA_RHINE is not set
367 # Ethernet (1000 Mbit)
369 # CONFIG_ACENIC is not set
370 # CONFIG_DL2K is not set
371 # CONFIG_E1000 is not set
372 # CONFIG_NS83820 is not set
373 # CONFIG_HAMACHI is not set
374 # CONFIG_YELLOWFIN is not set
375 # CONFIG_R8169 is not set
376 # CONFIG_SK98LIN is not set
377 # CONFIG_VIA_VELOCITY is not set
378 # CONFIG_TIGON3 is not set
381 # Ethernet (10000 Mbit)
383 # CONFIG_IXGB is not set
384 # CONFIG_S2IO is not set
387 # Token Ring devices
389 # CONFIG_TR is not set
392 # Wireless LAN (non-hamradio)
394 # CONFIG_NET_RADIO is not set
397 # Wan interfaces
399 # CONFIG_WAN is not set
400 # CONFIG_FDDI is not set
401 # CONFIG_HIPPI is not set
402 # CONFIG_PPP is not set
403 # CONFIG_SLIP is not set
404 # CONFIG_SHAPER is not set
405 # CONFIG_NETCONSOLE is not set
408 # ISDN subsystem
410 # CONFIG_ISDN is not set
413 # Telephony Support
415 # CONFIG_PHONE is not set
418 # Input device support
420 CONFIG_INPUT=y
423 # Userland interfaces
425 CONFIG_INPUT_MOUSEDEV=y
426 CONFIG_INPUT_MOUSEDEV_PSAUX=y
427 CONFIG_INPUT_MOUSEDEV_SCREEN_X=1024
428 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=768
429 # CONFIG_INPUT_JOYDEV is not set
430 # CONFIG_INPUT_TSDEV is not set
431 # CONFIG_INPUT_EVDEV is not set
432 # CONFIG_INPUT_EVBUG is not set
435 # Input I/O drivers
437 # CONFIG_GAMEPORT is not set
438 CONFIG_SOUND_GAMEPORT=y
439 CONFIG_SERIO=y
440 CONFIG_SERIO_I8042=y
441 CONFIG_SERIO_SERPORT=y
442 # CONFIG_SERIO_CT82C710 is not set
443 # CONFIG_SERIO_PCIPS2 is not set
444 # CONFIG_SERIO_RAW is not set
447 # Input Device Drivers
449 CONFIG_INPUT_KEYBOARD=y
450 CONFIG_KEYBOARD_ATKBD=y
451 # CONFIG_KEYBOARD_SUNKBD is not set
452 # CONFIG_KEYBOARD_LKKBD is not set
453 # CONFIG_KEYBOARD_XTKBD is not set
454 # CONFIG_KEYBOARD_NEWTON is not set
455 CONFIG_INPUT_MOUSE=y
456 CONFIG_MOUSE_PS2=y
457 # CONFIG_MOUSE_SERIAL is not set
458 # CONFIG_MOUSE_VSXXXAA is not set
459 # CONFIG_INPUT_JOYSTICK is not set
460 # CONFIG_INPUT_TOUCHSCREEN is not set
461 # CONFIG_INPUT_MISC is not set
464 # Character devices
466 CONFIG_VT=y
467 CONFIG_VT_CONSOLE=y
468 CONFIG_HW_CONSOLE=y
469 # CONFIG_SERIAL_NONSTANDARD is not set
472 # Serial drivers
474 CONFIG_SERIAL_8250=y
475 CONFIG_SERIAL_8250_CONSOLE=y
476 CONFIG_SERIAL_8250_NR_UARTS=4
477 # CONFIG_SERIAL_8250_EXTENDED is not set
480 # Non-8250 serial port support
482 CONFIG_SERIAL_CORE=y
483 CONFIG_SERIAL_CORE_CONSOLE=y
484 CONFIG_UNIX98_PTYS=y
485 CONFIG_LEGACY_PTYS=y
486 CONFIG_LEGACY_PTY_COUNT=256
489 # IPMI
491 # CONFIG_IPMI_HANDLER is not set
494 # Watchdog Cards
496 # CONFIG_WATCHDOG is not set
497 # CONFIG_NVRAM is not set
498 CONFIG_GEN_RTC=y
499 # CONFIG_GEN_RTC_X is not set
500 # CONFIG_DTLK is not set
501 # CONFIG_R3964 is not set
502 # CONFIG_APPLICOM is not set
505 # Ftape, the floppy tape device driver
507 # CONFIG_AGP is not set
508 # CONFIG_DRM is not set
509 # CONFIG_RAW_DRIVER is not set
512 # I2C support
514 CONFIG_I2C=m
515 CONFIG_I2C_CHARDEV=m
518 # I2C Algorithms
520 # CONFIG_I2C_ALGOBIT is not set
521 # CONFIG_I2C_ALGOPCF is not set
522 # CONFIG_I2C_ALGOPCA is not set
525 # I2C Hardware Bus support
527 # CONFIG_I2C_ALI1535 is not set
528 # CONFIG_I2C_ALI1563 is not set
529 # CONFIG_I2C_ALI15X3 is not set
530 # CONFIG_I2C_AMD756 is not set
531 # CONFIG_I2C_AMD8111 is not set
532 # CONFIG_I2C_I801 is not set
533 # CONFIG_I2C_I810 is not set
534 # CONFIG_I2C_NFORCE2 is not set
535 # CONFIG_I2C_PARPORT_LIGHT is not set
536 # CONFIG_I2C_PIIX4 is not set
537 # CONFIG_I2C_PROSAVAGE is not set
538 # CONFIG_I2C_SAVAGE4 is not set
539 # CONFIG_SCx200_ACB is not set
540 # CONFIG_I2C_SIS5595 is not set
541 # CONFIG_I2C_SIS630 is not set
542 # CONFIG_I2C_SIS96X is not set
543 # CONFIG_I2C_STUB is not set
544 # CONFIG_I2C_VIA is not set
545 # CONFIG_I2C_VIAPRO is not set
546 # CONFIG_I2C_VOODOO3 is not set
547 # CONFIG_I2C_PCA_ISA is not set
550 # Hardware Sensors Chip support
552 # CONFIG_I2C_SENSOR is not set
553 # CONFIG_SENSORS_ADM1021 is not set
554 # CONFIG_SENSORS_ADM1025 is not set
555 # CONFIG_SENSORS_ADM1031 is not set
556 # CONFIG_SENSORS_ASB100 is not set
557 # CONFIG_SENSORS_DS1621 is not set
558 # CONFIG_SENSORS_FSCHER is not set
559 # CONFIG_SENSORS_GL518SM is not set
560 # CONFIG_SENSORS_IT87 is not set
561 # CONFIG_SENSORS_LM63 is not set
562 # CONFIG_SENSORS_LM75 is not set
563 # CONFIG_SENSORS_LM77 is not set
564 # CONFIG_SENSORS_LM78 is not set
565 # CONFIG_SENSORS_LM80 is not set
566 # CONFIG_SENSORS_LM83 is not set
567 # CONFIG_SENSORS_LM85 is not set
568 # CONFIG_SENSORS_LM87 is not set
569 # CONFIG_SENSORS_LM90 is not set
570 # CONFIG_SENSORS_MAX1619 is not set
571 # CONFIG_SENSORS_PC87360 is not set
572 # CONFIG_SENSORS_SMSC47M1 is not set
573 # CONFIG_SENSORS_VIA686A is not set
574 # CONFIG_SENSORS_W83781D is not set
575 # CONFIG_SENSORS_W83L785TS is not set
576 # CONFIG_SENSORS_W83627HF is not set
579 # Other I2C Chip support
581 # CONFIG_SENSORS_EEPROM is not set
582 # CONFIG_SENSORS_PCF8574 is not set
583 # CONFIG_SENSORS_PCF8591 is not set
584 # CONFIG_SENSORS_RTC8564 is not set
585 # CONFIG_I2C_DEBUG_CORE is not set
586 # CONFIG_I2C_DEBUG_ALGO is not set
587 # CONFIG_I2C_DEBUG_BUS is not set
588 # CONFIG_I2C_DEBUG_CHIP is not set
591 # Dallas's 1-wire bus
593 # CONFIG_W1 is not set
596 # Misc devices
600 # Multimedia devices
602 # CONFIG_VIDEO_DEV is not set
605 # Digital Video Broadcasting Devices
607 # CONFIG_DVB is not set
610 # Graphics support
612 # CONFIG_FB is not set
615 # Console display driver support
617 CONFIG_VGA_CONSOLE=y
618 CONFIG_DUMMY_CONSOLE=y
621 # Sound
623 # CONFIG_SOUND is not set
626 # USB support
628 # CONFIG_USB is not set
629 CONFIG_USB_ARCH_HAS_HCD=y
630 CONFIG_USB_ARCH_HAS_OHCI=y
633 # USB Gadget Support
635 # CONFIG_USB_GADGET is not set
638 # File systems
640 CONFIG_EXT2_FS=y
641 # CONFIG_EXT2_FS_XATTR is not set
642 # CONFIG_EXT3_FS is not set
643 # CONFIG_JBD is not set
644 # CONFIG_REISERFS_FS is not set
645 # CONFIG_JFS_FS is not set
646 # CONFIG_XFS_FS is not set
647 # CONFIG_MINIX_FS is not set
648 # CONFIG_ROMFS_FS is not set
649 # CONFIG_QUOTA is not set
650 CONFIG_DNOTIFY=y
651 # CONFIG_AUTOFS_FS is not set
652 # CONFIG_AUTOFS4_FS is not set
655 # CD-ROM/DVD Filesystems
657 # CONFIG_ISO9660_FS is not set
658 # CONFIG_UDF_FS is not set
661 # DOS/FAT/NT Filesystems
663 # CONFIG_MSDOS_FS is not set
664 # CONFIG_VFAT_FS is not set
665 # CONFIG_NTFS_FS is not set
668 # Pseudo filesystems
670 CONFIG_PROC_FS=y
671 # CONFIG_PROC_KCORE is not set
672 CONFIG_SYSFS=y
673 CONFIG_DEVFS_FS=y
674 # CONFIG_DEVFS_MOUNT is not set
675 # CONFIG_DEVFS_DEBUG is not set
676 # CONFIG_DEVPTS_FS_XATTR is not set
677 CONFIG_TMPFS=y
678 # CONFIG_TMPFS_XATTR is not set
679 # CONFIG_HUGETLB_PAGE is not set
680 CONFIG_RAMFS=y
683 # Miscellaneous filesystems
685 # CONFIG_ADFS_FS is not set
686 # CONFIG_AFFS_FS is not set
687 # CONFIG_HFS_FS is not set
688 # CONFIG_HFSPLUS_FS is not set
689 # CONFIG_BEFS_FS is not set
690 # CONFIG_BFS_FS is not set
691 # CONFIG_EFS_FS is not set
692 # CONFIG_CRAMFS is not set
693 # CONFIG_VXFS_FS is not set
694 # CONFIG_HPFS_FS is not set
695 # CONFIG_QNX4FS_FS is not set
696 # CONFIG_SYSV_FS is not set
697 # CONFIG_UFS_FS is not set
700 # Network File Systems
702 CONFIG_NFS_FS=y
703 CONFIG_NFS_V3=y
704 # CONFIG_NFS_V4 is not set
705 # CONFIG_NFS_DIRECTIO is not set
706 # CONFIG_NFSD is not set
707 CONFIG_ROOT_NFS=y
708 CONFIG_LOCKD=y
709 CONFIG_LOCKD_V4=y
710 # CONFIG_EXPORTFS is not set
711 CONFIG_SUNRPC=y
712 # CONFIG_RPCSEC_GSS_KRB5 is not set
713 # CONFIG_RPCSEC_GSS_SPKM3 is not set
714 # CONFIG_SMB_FS is not set
715 # CONFIG_CIFS is not set
716 # CONFIG_NCP_FS is not set
717 # CONFIG_CODA_FS is not set
718 # CONFIG_AFS_FS is not set
721 # Partition Types
723 # CONFIG_PARTITION_ADVANCED is not set
724 CONFIG_MSDOS_PARTITION=y
727 # Native Language Support
729 # CONFIG_NLS is not set
732 # Library routines
734 # CONFIG_CRC_CCITT is not set
735 CONFIG_CRC32=y
736 # CONFIG_LIBCRC32C is not set
739 # Profiling support
741 # CONFIG_PROFILING is not set
744 # Kernel hacking
746 # CONFIG_DEBUG_KERNEL is not set
747 # CONFIG_SERIAL_TEXT_DEBUG is not set
750 # Security options
752 # CONFIG_KEYS is not set
753 # CONFIG_SECURITY is not set
756 # Cryptographic options
758 # CONFIG_CRYPTO is not set