1 CONFIG_SYSVIPC=y 2 CONFIG_NO_HZ=y 3 CONFIG_HIGH_RES_TIMERS=y 4 CONFIG_LOG_BUF_SHIFT=14 5 CONFIG_BLK_DEV_INITRD=y 6 CONFIG_EXPERT=y 7 CONFIG_MODULES=y 8 # CONFIG_BLK_DEV_BSG is not set 9 CONFIG_PARTITION_ADVANCED=y 10 # CONFIG_PPC_CHRP is not set 11 # CONFIG_PPC_PMAC is not set 12 CONFIG_EMBEDDED6xx=y 13 CONFIG_PPC_HOLLY=y 14 CONFIG_GEN_RTC=y 15 CONFIG_BINFMT_MISC=y 16 CONFIG_CMDLINE="console=ttyS0,115200" 17 # CONFIG_SECCOMP is not set 18 CONFIG_NET=y 19 CONFIG_PACKET=y 20 CONFIG_UNIX=y 21 CONFIG_XFRM_USER=y 22 CONFIG_INET=y 23 CONFIG_IP_MULTICAST=y 24 CONFIG_IP_PNP=y 25 CONFIG_IP_PNP_DHCP=y 26 CONFIG_IP_PNP_BOOTP=y 27 CONFIG_SYN_COOKIES=y 28 # CONFIG_IPV6 is not set 29 # CONFIG_FW_LOADER is not set 30 CONFIG_BLK_DEV_LOOP=y 31 CONFIG_BLK_DEV_RAM=y 32 CONFIG_BLK_DEV_RAM_SIZE=131072 33 CONFIG_BLK_DEV_SD=y 34 CONFIG_ATA=y 35 CONFIG_NETDEVICES=y 36 CONFIG_VORTEX=y 37 CONFIG_TSI108_ETH=y 38 CONFIG_PHYLIB=y 39 # CONFIG_INPUT_KEYBOARD is not set 40 # CONFIG_INPUT_MOUSE is not set 41 # CONFIG_SERIO is not set 42 # CONFIG_VT is not set 43 CONFIG_SERIAL_8250=y 44 CONFIG_SERIAL_8250_CONSOLE=y 45 # CONFIG_SERIAL_8250_PCI is not set 46 CONFIG_SERIAL_8250_EXTENDED=y 47 CONFIG_SERIAL_8250_SHARE_IRQ=y 48 CONFIG_SERIAL_OF_PLATFORM=y 49 # CONFIG_HW_RANDOM is not set 50 CONFIG_EXT2_FS=y 51 CONFIG_EXT4_FS=y 52 CONFIG_PROC_KCORE=y 53 CONFIG_TMPFS=y 54 CONFIG_NFS_FS=y 55 CONFIG_ROOT_NFS=y 56 CONFIG_MAGIC_SYSRQ=y 57 # CONFIG_SCHED_DEBUG is not set 58 # CONFIG_DEBUG_BUGVERBOSE is not set 59 CONFIG_XMON=y 60 CONFIG_XMON_DEFAULT=y
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.