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