3 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_SYSFS_DEPRECATED_V2=y
10 CONFIG_ARCH_MULTI_V5=y
11 # CONFIG_ARCH_MULTI_V6 is not set
12 # CONFIG_ARCH_MULTI_V7 is not set
14 CONFIG_MACH_DB78X00_BP=y
15 CONFIG_MACH_RD78X00_MASA=y
16 CONFIG_MACH_TERASTATION_WXL=y
20 CONFIG_UNUSED_BOARD_FILES=y
24 CONFIG_MODULE_UNLOAD=y
25 CONFIG_PARTITION_ADVANCED=y
26 CONFIG_BSD_DISKLABEL=y
35 # CONFIG_IPV6 is not set
38 CONFIG_MTD_CMDLINE_PARTS=y
41 CONFIG_MTD_JEDECPROBE=y
42 CONFIG_MTD_CFI_ADV_OPTIONS=y
43 CONFIG_MTD_CFI_GEOMETRY=y
44 CONFIG_MTD_CFI_INTELEXT=y
45 CONFIG_MTD_CFI_AMDSTD=y
48 CONFIG_MTD_NAND_ORION=y
50 # CONFIG_SCSI_PROC_FS is not set
54 # CONFIG_BLK_DEV_BSG is not set
62 # CONFIG_INPUT_MOUSEDEV is not set
65 # CONFIG_INPUT_KEYBOARD is not set
66 # CONFIG_INPUT_MOUSE is not set
67 # CONFIG_SERIO is not set
68 # CONFIG_VT is not set
69 CONFIG_LEGACY_PTY_COUNT=16
71 CONFIG_SERIAL_8250_CONSOLE=y
72 # CONFIG_SERIAL_8250_PCI is not set
73 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
74 # CONFIG_HW_RANDOM is not set
80 CONFIG_USB_EHCI_ROOT_HUB_TT=y
81 CONFIG_USB_EHCI_TT_NEWSCHED=y
84 CONFIG_USB_STORAGE_DATAFAB=y
85 CONFIG_USB_STORAGE_FREECOM=y
86 CONFIG_USB_STORAGE_SDDR09=y
87 CONFIG_USB_STORAGE_SDDR55=y
88 CONFIG_USB_STORAGE_JUMPSHOT=y
91 CONFIG_LEDS_TRIGGERS=y
92 CONFIG_LEDS_TRIGGER_TIMER=y
93 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
95 CONFIG_RTC_DRV_DS1307=y
96 CONFIG_RTC_DRV_RS5C372=y
97 CONFIG_RTC_DRV_M41T80=y
100 # CONFIG_EXT3_FS_XATTR is not set
113 CONFIG_NLS_CODEPAGE_437=y
114 CONFIG_NLS_CODEPAGE_850=y
115 CONFIG_NLS_ISO8859_1=y
116 CONFIG_NLS_ISO8859_2=y
120 # CONFIG_DEBUG_BUGVERBOSE is not set
121 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y
124 CONFIG_DEBUG_KERNEL=y
125 # CONFIG_SLUB_DEBUG is not set
129 # CONFIG_CRYPTO_ANSI_CPRNG is not set