5 CONFIG_LOG_BUF_SHIFT=14
13 CONFIG_MODULE_UNLOAD=y
15 # CONFIG_LBDAF is not set
16 # CONFIG_BLK_DEV_BSG is not set
17 # CONFIG_IOSCHED_DEADLINE is not set
18 # CONFIG_IOSCHED_CFQ is not set
20 CONFIG_MACH_SOCFPGA_CYCLONE5=y
22 # CONFIG_ARCH_VEXPRESS_CORTEX_A5_A9_ERRATA is not set
23 # CONFIG_CACHE_L2X0 is not set
24 CONFIG_HIGH_RES_TIMERS=y
28 CONFIG_ZBOOT_ROM_TEXT=0x0
29 CONFIG_ZBOOT_ROM_BSS=0x0
37 CONFIG_NET_KEY_MIGRATE=y
49 CONFIG_CAN_CALC_BITTIMING=y
51 CONFIG_CAN_C_CAN_PLATFORM=y
52 CONFIG_CAN_DEBUG_DEVICES=y
53 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
55 CONFIG_PROC_DEVICETREE=y
57 CONFIG_BLK_DEV_RAM_COUNT=2
58 CONFIG_BLK_DEV_RAM_SIZE=8192
60 # CONFIG_SCSI_PROC_FS is not set
62 # CONFIG_SCSI_LOWLEVEL is not set
66 # CONFIG_STMMAC_PHY_ID_ZERO_WORKAROUND is not set
68 CONFIG_DWMAC_SOCFPGA=y
70 CONFIG_NETWORK_PHY_TIMESTAMPING=y
71 CONFIG_PTP_1588_CLOCK=y
73 CONFIG_VLAN_8021Q_GVRP=y
76 # CONFIG_SERIO_SERPORT is not set
77 CONFIG_SERIO_AMBAKMI=y
78 CONFIG_LEGACY_PTY_COUNT=16
80 CONFIG_SERIAL_8250_CONSOLE=y
81 CONFIG_SERIAL_8250_NR_UARTS=2
82 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
83 CONFIG_SERIAL_8250_DW=y
87 # CONFIG_RTC_HCTOSYS is not set
91 CONFIG_EXT2_FS_XATTR=y
92 CONFIG_EXT2_FS_POSIX_ACL=y
96 # CONFIG_DNOTIFY is not set
97 # CONFIG_INOTIFY_USER is not set
104 CONFIG_NLS_CODEPAGE_437=y
105 CONFIG_NLS_ISO8859_1=y
107 CONFIG_DETECT_HUNG_TASK=y
108 # CONFIG_SCHED_DEBUG is not set
110 CONFIG_ENABLE_DEFAULT_TRACERS=y
114 CONFIG_I2C_DESIGNWARE_CORE=y
115 CONFIG_I2C_DESIGNWARE_PLATFORM=y
121 CONFIG_MMC_UNSAFE_RESUME=y
124 CONFIG_USB_DWC2_HOST=y
125 CONFIG_USB_DWC2_PLATFORM=y