1CONFIG_SYSVIPC=y
2CONFIG_LOG_BUF_SHIFT=14
3CONFIG_MODULES=y
4CONFIG_ARCH_PXA=y
5CONFIG_MACH_MAINSTONE=y
6# CONFIG_ARM_THUMB is not set
7CONFIG_LEDS=y
8CONFIG_LEDS_CPU=y
9CONFIG_ZBOOT_ROM_TEXT=0x0
10CONFIG_ZBOOT_ROM_BSS=0x0
11CONFIG_CMDLINE="root=/dev/nfs ip=bootp console=ttyS0,115200 mem=64M"
12CONFIG_FPE_NWFPE=y
13CONFIG_NET=y
14CONFIG_UNIX=y
15CONFIG_INET=y
16CONFIG_IP_PNP=y
17CONFIG_IP_PNP_BOOTP=y
18# CONFIG_IPV6 is not set
19CONFIG_MTD=y
20CONFIG_MTD_REDBOOT_PARTS=y
21CONFIG_MTD_BLOCK=y
22CONFIG_MTD_CFI=y
23CONFIG_MTD_CFI_ADV_OPTIONS=y
24CONFIG_MTD_CFI_GEOMETRY=y
25# CONFIG_MTD_CFI_I1 is not set
26CONFIG_MTD_CFI_INTELEXT=y
27CONFIG_NETDEVICES=y
28CONFIG_NET_ETHERNET=y
29CONFIG_SMC91X=y
30CONFIG_INPUT_EVDEV=y
31# CONFIG_INPUT_MOUSE is not set
32# CONFIG_SERIO_SERPORT is not set
33CONFIG_SERIAL_PXA=y
34CONFIG_SERIAL_PXA_CONSOLE=y
35CONFIG_FB=y
36CONFIG_FB_PXA=y
37# CONFIG_VGA_CONSOLE is not set
38CONFIG_FRAMEBUFFER_CONSOLE=y
39CONFIG_LOGO=y
40CONFIG_EXT2_FS=y
41CONFIG_MSDOS_FS=y
42CONFIG_JFFS2_FS=y
43CONFIG_NFS_FS=y
44CONFIG_ROOT_NFS=y
45CONFIG_NLS_ISO8859_1=y
46CONFIG_MAGIC_SYSRQ=y
47CONFIG_DEBUG_KERNEL=y
48CONFIG_DEBUG_INFO=y
49CONFIG_DEBUG_USER=y
50CONFIG_DEBUG_LL=y
51