5 CONFIG_LOG_BUF_SHIFT=14
13 CONFIG_MODULE_UNLOAD=y
14 # CONFIG_LBDAF is not set
15 # CONFIG_BLK_DEV_BSG is not set
16 # CONFIG_IOSCHED_DEADLINE is not set
17 # CONFIG_IOSCHED_CFQ is not set
19 CONFIG_MACH_SOCFPGA_CYCLONE5=y
21 # CONFIG_ARCH_VEXPRESS_CORTEX_A5_A9_ERRATA is not set
22 # CONFIG_CACHE_L2X0 is not set
23 CONFIG_HIGH_RES_TIMERS=y
27 CONFIG_ZBOOT_ROM_TEXT=0x0
28 CONFIG_ZBOOT_ROM_BSS=0x0
36 CONFIG_NET_KEY_MIGRATE=y
43 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
45 CONFIG_PROC_DEVICETREE=y
47 CONFIG_BLK_DEV_RAM_COUNT=2
48 CONFIG_BLK_DEV_RAM_SIZE=8192
50 # CONFIG_SCSI_PROC_FS is not set
52 # CONFIG_SCSI_LOWLEVEL is not set
56 # CONFIG_STMMAC_PHY_ID_ZERO_WORKAROUND is not set
58 # CONFIG_SERIO_SERPORT is not set
59 CONFIG_SERIO_AMBAKMI=y
60 CONFIG_LEGACY_PTY_COUNT=16
62 CONFIG_SERIAL_8250_CONSOLE=y
63 CONFIG_SERIAL_8250_NR_UARTS=2
64 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
65 CONFIG_SERIAL_8250_DW=y
66 # CONFIG_RTC_HCTOSYS is not set
68 CONFIG_EXT2_FS_XATTR=y
69 CONFIG_EXT2_FS_POSIX_ACL=y
73 # CONFIG_DNOTIFY is not set
74 # CONFIG_INOTIFY_USER is not set
80 CONFIG_NLS_CODEPAGE_437=y
81 CONFIG_NLS_ISO8859_1=y
83 CONFIG_DETECT_HUNG_TASK=y
84 # CONFIG_SCHED_DEBUG is not set
86 CONFIG_ENABLE_DEFAULT_TRACERS=y