3 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=16
7 CONFIG_SYSFS_DEPRECATED=y
8 CONFIG_SYSFS_DEPRECATED_V2=y
9 CONFIG_BLK_DEV_INITRD=y
10 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
11 CONFIG_SYSCTL_SYSCALL=y
16 CONFIG_MODULE_UNLOAD=y
17 # CONFIG_BLK_DEV_BSG is not set
18 CONFIG_PARTITION_ADVANCED=y
22 CONFIG_ZBOOT_ROM_TEXT=0x0
23 CONFIG_ZBOOT_ROM_BSS=0x0
24 CONFIG_ARM_APPENDED_DTB=y
25 CONFIG_ARM_ATAG_DTB_COMPAT=y
26 CONFIG_CMDLINE="console=ttyS0,115200n81 root=/dev/ram0"
29 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
38 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
39 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
40 # CONFIG_INET_XFRM_MODE_BEET is not set
41 # CONFIG_INET_DIAG is not set
42 # CONFIG_WIRELESS is not set
43 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
45 CONFIG_DEVTMPFS_MOUNT=y
46 # CONFIG_FW_LOADER is not set
48 CONFIG_MTD_CMDLINE_PARTS=y
51 CONFIG_MTD_NAND_SLC_LPC32XX=y
52 CONFIG_MTD_NAND_MLC_LPC32XX=y
55 CONFIG_BLK_DEV_CRYPTOLOOP=y
57 CONFIG_BLK_DEV_RAM_COUNT=1
58 CONFIG_BLK_DEV_RAM_SIZE=16384
64 # CONFIG_NET_VENDOR_BROADCOM is not set
65 # CONFIG_NET_VENDOR_CIRRUS is not set
66 # CONFIG_NET_VENDOR_FARADAY is not set
67 # CONFIG_NET_VENDOR_INTEL is not set
68 # CONFIG_NET_VENDOR_MARVELL is not set
69 # CONFIG_NET_VENDOR_MICREL is not set
70 # CONFIG_NET_VENDOR_MICROCHIP is not set
71 # CONFIG_NET_VENDOR_NATSEMI is not set
73 # CONFIG_NET_VENDOR_SEEQ is not set
74 # CONFIG_NET_VENDOR_SMSC is not set
75 # CONFIG_NET_VENDOR_STMICRO is not set
77 # CONFIG_WLAN is not set
78 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
79 CONFIG_INPUT_MOUSEDEV_SCREEN_X=240
80 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=320
82 # CONFIG_KEYBOARD_ATKBD is not set
83 CONFIG_KEYBOARD_GPIO=y
84 CONFIG_KEYBOARD_GPIO_POLLED=y
85 CONFIG_KEYBOARD_LPC32XX=y
86 # CONFIG_INPUT_MOUSE is not set
87 CONFIG_INPUT_TOUCHSCREEN=y
88 CONFIG_TOUCHSCREEN_LPC32XX=y
90 # CONFIG_LEGACY_PTYS is not set
92 CONFIG_SERIAL_8250_CONSOLE=y
93 CONFIG_SERIAL_OF_PLATFORM=y
94 CONFIG_SERIAL_HS_LPC32XX=y
95 # CONFIG_HW_RANDOM is not set
103 CONFIG_GPIO_GENERIC_PLATFORM=y
105 CONFIG_GPIO_ADP5588=y
107 CONFIG_GPIO_MAX7300=y
108 CONFIG_GPIO_MAX732X=y
109 CONFIG_GPIO_PCA953X=y
110 CONFIG_GPIO_PCF857X=y
113 CONFIG_GPIO_MAX7301=y
114 CONFIG_GPIO_MC33880=y
115 CONFIG_GPIO_MCP23S08=y
116 CONFIG_SENSORS_DS620=y
117 CONFIG_SENSORS_MAX6639=y
119 CONFIG_PNX4008_WATCHDOG=y
122 CONFIG_FRAMEBUFFER_CONSOLE=y
123 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
125 # CONFIG_LOGO_LINUX_MONO is not set
126 # CONFIG_LOGO_LINUX_VGA16 is not set
129 CONFIG_SND_SEQUENCER=y
130 CONFIG_SND_MIXER_OSS=y
132 CONFIG_SND_SEQUENCER_OSS=y
133 # CONFIG_SND_SUPPORT_OLD_API is not set
134 # CONFIG_SND_VERBOSE_PROCFS is not set
136 CONFIG_SND_DEBUG_VERBOSE=y
137 # CONFIG_SND_DRIVERS is not set
138 # CONFIG_SND_ARM is not set
139 # CONFIG_SND_SPI is not set
142 CONFIG_USB_OHCI_HCD=y
146 CONFIG_USB_MASS_STORAGE=m
147 CONFIG_USB_G_SERIAL=m
149 # CONFIG_MMC_BLOCK_BOUNCE is not set
154 CONFIG_LEDS_PCA9532=y
155 CONFIG_LEDS_PCA9532_GPIO=y
158 CONFIG_LEDS_TRIGGERS=y
159 CONFIG_LEDS_TRIGGER_TIMER=y
160 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
161 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
162 CONFIG_LEDS_TRIGGER_GPIO=y
163 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
165 CONFIG_RTC_INTF_DEV_UIE_EMUL=y
166 CONFIG_RTC_DRV_DS1374=y
167 CONFIG_RTC_DRV_PCF8563=y
168 CONFIG_RTC_DRV_LPC32XX=y
174 CONFIG_ARM_PL172_MPMC=y
185 CONFIG_JFFS2_FS_WBUF_VERIFY=y
190 CONFIG_NLS_CODEPAGE_437=y
192 CONFIG_NLS_ISO8859_1=y
195 # CONFIG_SCHED_DEBUG is not set
196 # CONFIG_DEBUG_PREEMPT is not set
197 # CONFIG_FTRACE is not set
198 # CONFIG_ARM_UNWIND is not set
200 CONFIG_EARLY_PRINTK=y
201 CONFIG_CRYPTO_ANSI_CPRNG=y
202 # CONFIG_CRYPTO_HW is not set