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