4 CONFIG_HIGH_RES_TIMERS=y
7 CONFIG_LOG_BUF_SHIFT=16
8 CONFIG_SYSFS_DEPRECATED=y
9 CONFIG_SYSFS_DEPRECATED_V2=y
10 CONFIG_BLK_DEV_INITRD=y
11 CONFIG_CC_OPTIMIZE_FOR_SIZE=y
12 CONFIG_SYSCTL_SYSCALL=y
17 CONFIG_MODULE_UNLOAD=y
18 # CONFIG_BLK_DEV_BSG is not set
19 CONFIG_PARTITION_ADVANCED=y
21 CONFIG_KEYBOARD_GPIO_POLLED=y
24 CONFIG_ZBOOT_ROM_TEXT=0x0
25 CONFIG_ZBOOT_ROM_BSS=0x0
26 CONFIG_ARM_APPENDED_DTB=y
27 CONFIG_ARM_ATAG_DTB_COMPAT=y
28 CONFIG_CMDLINE="console=ttyS0,115200n81 root=/dev/ram0"
32 # CONFIG_CORE_DUMP_DEFAULT_ELF_HEADERS is not set
42 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
43 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
44 # CONFIG_INET_XFRM_MODE_BEET is not set
45 # CONFIG_INET_LRO is not set
46 # CONFIG_INET_DIAG is not set
49 # CONFIG_WIRELESS is not set
50 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
51 # CONFIG_FW_LOADER is not set
53 CONFIG_MTD_CMDLINE_PARTS=y
58 CONFIG_MTD_NAND_MUSEUM_IDS=y
59 CONFIG_MTD_NAND_SLC_LPC32XX=y
60 CONFIG_MTD_NAND_MLC_LPC32XX=y
62 CONFIG_BLK_DEV_CRYPTOLOOP=y
64 CONFIG_BLK_DEV_RAM_COUNT=1
65 CONFIG_BLK_DEV_RAM_SIZE=16384
72 # CONFIG_NET_VENDOR_BROADCOM is not set
73 # CONFIG_NET_VENDOR_CHELSIO is not set
74 # CONFIG_NET_VENDOR_CIRRUS is not set
75 # CONFIG_NET_VENDOR_FARADAY is not set
76 # CONFIG_NET_VENDOR_INTEL is not set
77 # CONFIG_NET_VENDOR_MARVELL is not set
78 # CONFIG_NET_VENDOR_MICREL is not set
79 # CONFIG_NET_VENDOR_MICROCHIP is not set
80 # CONFIG_NET_VENDOR_NATSEMI is not set
82 # CONFIG_NET_VENDOR_SEEQ is not set
83 # CONFIG_NET_VENDOR_SMSC is not set
84 # CONFIG_NET_VENDOR_STMICRO is not set
86 # CONFIG_WLAN is not set
87 CONFIG_INPUT_MATRIXKMAP=y
88 # CONFIG_INPUT_MOUSEDEV_PSAUX is not set
89 CONFIG_INPUT_MOUSEDEV_SCREEN_X=240
90 CONFIG_INPUT_MOUSEDEV_SCREEN_Y=320
92 # CONFIG_KEYBOARD_ATKBD is not set
93 CONFIG_KEYBOARD_GPIO=y
94 CONFIG_KEYBOARD_LPC32XX=y
95 # CONFIG_INPUT_MOUSE is not set
96 CONFIG_INPUT_TOUCHSCREEN=y
97 CONFIG_TOUCHSCREEN_LPC32XX=y
99 # CONFIG_LEGACY_PTYS is not set
101 CONFIG_SERIAL_8250_CONSOLE=y
102 CONFIG_SERIAL_HS_LPC32XX=y
103 CONFIG_SERIAL_OF_PLATFORM=y
104 # CONFIG_HW_RANDOM is not set
111 CONFIG_SENSORS_DS620=y
112 CONFIG_SENSORS_MAX6639=y
114 CONFIG_PNX4008_WATCHDOG=y
117 CONFIG_FRAMEBUFFER_CONSOLE=y
118 CONFIG_FRAMEBUFFER_CONSOLE_DETECT_PRIMARY=y
120 # CONFIG_LOGO_LINUX_MONO is not set
121 # CONFIG_LOGO_LINUX_VGA16 is not set
124 CONFIG_SND_SEQUENCER=y
125 CONFIG_SND_MIXER_OSS=y
127 CONFIG_SND_SEQUENCER_OSS=y
128 # CONFIG_SND_SUPPORT_OLD_API is not set
129 # CONFIG_SND_VERBOSE_PROCFS is not set
131 CONFIG_SND_DEBUG_VERBOSE=y
132 # CONFIG_SND_DRIVERS is not set
133 # CONFIG_SND_ARM is not set
134 # CONFIG_SND_SPI is not set
136 # CONFIG_HID_SUPPORT is not set
138 CONFIG_USB_OHCI_HCD=y
142 CONFIG_USB_MASS_STORAGE=m
143 CONFIG_USB_G_SERIAL=m
145 # CONFIG_MMC_BLOCK_BOUNCE is not set
149 CONFIG_LEDS_PCA9532=y
150 CONFIG_LEDS_PCA9532_GPIO=y
152 CONFIG_LEDS_TRIGGERS=y
153 CONFIG_LEDS_TRIGGER_TIMER=y
154 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
155 CONFIG_LEDS_TRIGGER_BACKLIGHT=y
156 CONFIG_LEDS_TRIGGER_GPIO=y
157 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
159 CONFIG_RTC_INTF_DEV_UIE_EMUL=y
160 CONFIG_RTC_DRV_DS1374=y
161 CONFIG_RTC_DRV_PCF8563=y
162 CONFIG_RTC_DRV_LPC32XX=y
174 CONFIG_JFFS2_FS_WBUF_VERIFY=y
178 CONFIG_NLS_CODEPAGE_437=y
180 CONFIG_NLS_ISO8859_1=y
182 # CONFIG_SCHED_DEBUG is not set
183 # CONFIG_DEBUG_PREEMPT is not set
185 # CONFIG_FTRACE is not set
186 # CONFIG_ARM_UNWIND is not set
188 CONFIG_EARLY_PRINTK=y
189 CONFIG_CRYPTO_ANSI_CPRNG=y
190 # CONFIG_CRYPTO_HW is not set