4 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
10 # CONFIG_BLK_DEV_BSG is not set
11 CONFIG_PARTITION_ADVANCED=y
18 CONFIG_ZBOOT_ROM_TEXT=0x0
19 CONFIG_ZBOOT_ROM_BSS=0x0
20 CONFIG_ARM_APPENDED_DTB=y
21 CONFIG_ARM_ATAG_DTB_COMPAT=y
31 # CONFIG_IPV6 is not set
32 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
34 CONFIG_DEVTMPFS_MOUNT=y
36 CONFIG_MTD_CMDLINE_PARTS=y
40 CONFIG_MTD_JEDECPROBE=y
41 CONFIG_MTD_CFI_ADV_OPTIONS=y
42 CONFIG_MTD_CFI_GEOMETRY=y
43 # CONFIG_MTD_MAP_BANK_WIDTH_4 is not set
44 CONFIG_MTD_CFI_INTELEXT=y
51 CONFIG_BLK_DEV_RAM_COUNT=1
52 # CONFIG_SCSI_PROC_FS is not set
54 # CONFIG_SCSI_LOWLEVEL is not set
59 CONFIG_INPUT_POLLDEV=y
60 # CONFIG_INPUT_MOUSEDEV is not set
62 # CONFIG_KEYBOARD_ATKBD is not set
63 # CONFIG_MOUSE_PS2 is not set
64 # CONFIG_SERIO is not set
65 CONFIG_LEGACY_PTY_COUNT=16
66 # CONFIG_DEVKMEM is not set
68 CONFIG_SERIAL_8250_CONSOLE=y
69 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
70 CONFIG_SERIAL_OF_PLATFORM=y
71 # CONFIG_HW_RANDOM is not set
77 # CONFIG_HWMON is not set
80 CONFIG_USB_EHCI_ROOT_HUB_TT=y
84 CONFIG_MMC_SDHCI_PLTFM=y
85 CONFIG_MMC_SDHCI_DOVE=y
89 CONFIG_LEDS_TRIGGERS=y
90 CONFIG_LEDS_TRIGGER_TIMER=y
91 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
92 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
99 # CONFIG_EXT3_FS_XATTR is not set
110 CONFIG_NLS_CODEPAGE_437=y
111 CONFIG_NLS_CODEPAGE_850=y
112 CONFIG_NLS_ISO8859_1=y
113 CONFIG_NLS_ISO8859_2=y
118 # CONFIG_SCHED_DEBUG is not set
120 # CONFIG_DEBUG_BUGVERBOSE is not set
129 CONFIG_CRYPTO_SHA256=y
130 CONFIG_CRYPTO_SHA512=y
131 CONFIG_CRYPTO_BLOWFISH=y
133 CONFIG_CRYPTO_TWOFISH=y
134 CONFIG_CRYPTO_DEFLATE=y
136 # CONFIG_CRYPTO_ANSI_CPRNG is not set
137 CONFIG_CRYPTO_DEV_MV_CESA=y