5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_SYSFS_DEPRECATED_V2=y
7 CONFIG_BLK_DEV_INITRD=y
8 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
11 CONFIG_MODULE_UNLOAD=y
12 # CONFIG_BLK_DEV_BSG is not set
13 # CONFIG_EBONY is not set
20 # CONFIG_PCIEASPM is not set
28 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
29 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
30 # CONFIG_INET_XFRM_MODE_BEET is not set
31 # CONFIG_INET_LRO is not set
32 # CONFIG_IPV6 is not set
33 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
36 CONFIG_MTD_PARTITIONS=y
37 CONFIG_MTD_CMDLINE_PARTS=y
42 CONFIG_MTD_CFI_AMDSTD=y
43 CONFIG_MTD_PHYSMAP_OF=y
44 CONFIG_PROC_DEVICETREE=y
46 CONFIG_BLK_DEV_RAM_SIZE=35000
47 CONFIG_XILINX_SYSACE=y
48 # CONFIG_MISC_DEVICES is not set
51 CONFIG_SCSI_CONSTANTS=y
53 # CONFIG_SCSI_LOWLEVEL is not set
57 CONFIG_FUSION_LOGGING=y
61 # CONFIG_NETDEV_1000 is not set
62 # CONFIG_NETDEV_10000 is not set
63 # CONFIG_WLAN is not set
64 CONFIG_INPUT_MOUSEDEV_SCREEN_X=640
65 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=480
66 # CONFIG_MOUSE_PS2_ALPS is not set
67 # CONFIG_MOUSE_PS2_LOGIPS2PP is not set
68 # CONFIG_MOUSE_PS2_SYNAPTICS is not set
69 # CONFIG_MOUSE_PS2_TRACKPOINT is not set
71 CONFIG_SERIAL_8250_CONSOLE=y
72 # CONFIG_SERIAL_8250_PCI is not set
73 CONFIG_SERIAL_8250_EXTENDED=y
74 CONFIG_SERIAL_8250_SHARE_IRQ=y
75 CONFIG_SERIAL_OF_PLATFORM=y
76 # CONFIG_HW_RANDOM is not set
80 # CONFIG_HWMON is not set
82 CONFIG_VIDEO_OUTPUT_CONTROL=m
85 CONFIG_FRAMEBUFFER_CONSOLE=y
87 # CONFIG_LOGO_LINUX_MONO is not set
88 # CONFIG_LOGO_LINUX_VGA16 is not set
89 # CONFIG_USB_SUPPORT is not set
91 CONFIG_RTC_DRV_DS1307=y
94 # CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
103 CONFIG_NLS_CODEPAGE_437=y
104 CONFIG_NLS_CODEPAGE_850=y
105 CONFIG_NLS_ISO8859_1=y
106 CONFIG_NLS_ISO8859_15=y
108 CONFIG_DEBUG_KERNEL=y
109 CONFIG_DETECT_HUNG_TASK=y
110 # CONFIG_DEBUG_BUGVERBOSE is not set
111 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
112 CONFIG_SYSCTL_SYSCALL_CHECK=y
119 # CONFIG_CRYPTO_ANSI_CPRNG is not set