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.