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