4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
10 # CONFIG_BLK_DEV_BSG is not set
25 CONFIG_XILINX_VIRTEX440_GENERIC_BOARD=y
27 CONFIG_MATH_EMULATION=y
35 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
36 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
37 # CONFIG_INET_XFRM_MODE_BEET is not set
39 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
44 CONFIG_MTD_JEDECPROBE=y
45 CONFIG_MTD_CFI_AMDSTD=y
46 CONFIG_MTD_PHYSMAP_OF=y
48 CONFIG_MTD_NAND_NDFC=m
50 CONFIG_MTD_UBI_GLUEBI=m
52 CONFIG_BLK_DEV_RAM_SIZE=35000
53 CONFIG_XILINX_SYSACE=m
56 # CONFIG_SCSI_LOWLEVEL is not set
60 # CONFIG_INPUT is not set
62 # CONFIG_SERIO_I8042 is not set
63 # CONFIG_SERIO_SERPORT is not set
64 CONFIG_SERIO_XILINX_XPS_PS2=m
65 # CONFIG_VT is not set
67 CONFIG_SERIAL_8250_CONSOLE=y
68 # CONFIG_SERIAL_8250_PCI is not set
69 CONFIG_SERIAL_8250_EXTENDED=y
70 CONFIG_SERIAL_8250_SHARE_IRQ=y
71 CONFIG_SERIAL_OF_PLATFORM=y
72 CONFIG_SERIAL_UARTLITE=y
73 CONFIG_SERIAL_UARTLITE_CONSOLE=y
74 # CONFIG_HW_RANDOM is not set
75 CONFIG_XILINX_HWICAP=m
81 # CONFIG_HWMON is not set
87 CONFIG_USB_OHCI_HCD_PPC_OF_BE=y
88 # CONFIG_USB_OHCI_HCD_PCI is not set
99 CONFIG_SQUASHFS_XATTR=y
100 CONFIG_SQUASHFS_LZO=y
103 CONFIG_NLS_CODEPAGE_437=m
104 CONFIG_NLS_ISO8859_1=m
107 CONFIG_DETECT_HUNG_TASK=y
110 # CONFIG_CRYPTO_HW is not set
111 CONFIG_VIRTUALIZATION=y