3 CONFIG_HIGH_RES_TIMERS=y
6 CONFIG_LOG_BUF_SHIFT=14
10 CONFIG_BLK_DEV_INITRD=y
15 CONFIG_MODULE_UNLOAD=y
16 # CONFIG_LBDAF is not set
17 # CONFIG_BLK_DEV_BSG is not set
18 # CONFIG_IOSCHED_DEADLINE is not set
19 # CONFIG_IOSCHED_CFQ is not set
25 CONFIG_ZBOOT_ROM_TEXT=0x0
26 CONFIG_ZBOOT_ROM_BSS=0x0
33 CONFIG_NET_KEY_MIGRATE=y
40 CONFIG_NETWORK_PHY_TIMESTAMPING=y
42 CONFIG_VLAN_8021Q_GVRP=y
45 CONFIG_CAN_C_CAN_PLATFORM=y
46 CONFIG_CAN_DEBUG_DEVICES=y
47 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
49 CONFIG_DEVTMPFS_MOUNT=y
51 CONFIG_BLK_DEV_RAM_COUNT=2
52 CONFIG_BLK_DEV_RAM_SIZE=8192
55 # CONFIG_SCSI_PROC_FS is not set
57 # CONFIG_SCSI_LOWLEVEL is not set
62 # CONFIG_SERIO_SERPORT is not set
63 CONFIG_SERIO_AMBAKMI=y
64 CONFIG_LEGACY_PTY_COUNT=16
66 CONFIG_SERIAL_8250_CONSOLE=y
67 CONFIG_SERIAL_8250_NR_UARTS=2
68 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
69 CONFIG_SERIAL_8250_DW=y
72 CONFIG_I2C_DESIGNWARE_PLATFORM=y
77 CONFIG_SENSORS_LTC2978=y
78 CONFIG_SENSORS_LTC2978_REGULATOR=y
82 CONFIG_REGULATOR_FIXED_VOLTAGE=y
85 CONFIG_NOP_USB_XCEIV=y
90 CONFIG_FPGA_MGR_SOCFPGA=y
92 CONFIG_EXT2_FS_XATTR=y
93 CONFIG_EXT2_FS_POSIX_ACL=y
102 CONFIG_NLS_CODEPAGE_437=y
103 CONFIG_NLS_ISO8859_1=y
107 CONFIG_DETECT_HUNG_TASK=y
108 # CONFIG_SCHED_DEBUG is not set
109 CONFIG_ENABLE_DEFAULT_TRACERS=y