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
55 # CONFIG_STMMAC_PHY_ID_ZERO_WORKAROUND is not set
57 # CONFIG_SERIO_SERPORT is not set
58 CONFIG_SERIO_AMBAKMI=y
59 CONFIG_LEGACY_PTY_COUNT=16
61 CONFIG_SERIAL_8250_CONSOLE=y
62 CONFIG_SERIAL_8250_NR_UARTS=2
63 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
64 CONFIG_SERIAL_8250_DW=y
65 # CONFIG_RTC_HCTOSYS is not set
67 CONFIG_EXT2_FS_XATTR=y
68 CONFIG_EXT2_FS_POSIX_ACL=y
69 # CONFIG_DNOTIFY is not set
70 # CONFIG_INOTIFY_USER is not set
76 CONFIG_NLS_CODEPAGE_437=y
77 CONFIG_NLS_ISO8859_1=y
79 CONFIG_DETECT_HUNG_TASK=y
80 # CONFIG_SCHED_DEBUG is not set
82 CONFIG_ENABLE_DEFAULT_TRACERS=y