3 CONFIG_LOG_BUF_SHIFT=14
8 # CONFIG_BLK_DEV_BSG is not set
14 CONFIG_HIGH_RES_TIMERS=y
16 CONFIG_ZBOOT_ROM_TEXT=0x0
17 CONFIG_ZBOOT_ROM_BSS=0x0
21 CONFIG_ARM_APPENDED_DTB=y
22 CONFIG_ARM_ATAG_DTB_COMPAT=y
23 CONFIG_ARM_ATAG_DTB_COMPAT_CMDLINE_FROM_BOOTLOADER=y
33 # CONFIG_IPV6 is not set
34 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
36 CONFIG_MTD_PARTITIONS=y
37 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_MAP_BANK_WIDTH_4 is not set
45 CONFIG_MTD_CFI_INTELEXT=y
52 CONFIG_BLK_DEV_RAM_COUNT=1
53 # CONFIG_SCSI_PROC_FS is not set
55 # CONFIG_SCSI_LOWLEVEL is not set
60 # CONFIG_NETDEV_10000 is not set
61 CONFIG_INPUT_POLLDEV=y
62 # CONFIG_INPUT_MOUSEDEV is not set
64 # CONFIG_KEYBOARD_ATKBD is not set
65 # CONFIG_MOUSE_PS2 is not set
66 # CONFIG_SERIO is not set
67 CONFIG_LEGACY_PTY_COUNT=16
68 # CONFIG_DEVKMEM is not set
70 CONFIG_SERIAL_8250_CONSOLE=y
71 # CONFIG_SERIAL_8250_PCI is not set
72 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
74 CONFIG_SERIAL_CORE_CONSOLE=y
75 CONFIG_SERIAL_OF_PLATFORM=y
76 # CONFIG_HW_RANDOM is not set
82 # CONFIG_HWMON is not set
86 CONFIG_USB_EHCI_ROOT_HUB_TT=y
90 CONFIG_MMC_SDHCI_IO_ACCESSORS=y
91 CONFIG_MMC_SDHCI_PLTFM=y
92 CONFIG_MMC_SDHCI_DOVE=y
96 CONFIG_LEDS_TRIGGERS=y
97 CONFIG_LEDS_TRIGGER_TIMER=y
98 CONFIG_LEDS_TRIGGER_HEARTBEAT=y
99 CONFIG_LEDS_TRIGGER_DEFAULT_ON=y
106 # CONFIG_EXT3_FS_XATTR is not set
117 CONFIG_PARTITION_ADVANCED=y
118 CONFIG_NLS_CODEPAGE_437=y
119 CONFIG_NLS_CODEPAGE_850=y
120 CONFIG_NLS_ISO8859_1=y
121 CONFIG_NLS_ISO8859_2=y
125 CONFIG_DEBUG_KERNEL=y
126 # CONFIG_SCHED_DEBUG is not set
128 # CONFIG_DEBUG_BUGVERBOSE is not set
130 CONFIG_SYSCTL_SYSCALL_CHECK=y
132 CONFIG_DEBUG_ERRORS=y
139 CONFIG_CRYPTO_SHA256=y
140 CONFIG_CRYPTO_SHA512=y
142 CONFIG_CRYPTO_BLOWFISH=y
144 CONFIG_CRYPTO_TWOFISH=y
145 CONFIG_CRYPTO_DEFLATE=y
147 # CONFIG_CRYPTO_ANSI_CPRNG is not set
148 CONFIG_CRYPTO_DEV_MV_CESA=y