2 CONFIG_HIGH_RES_TIMERS=y
5 CONFIG_LOG_BUF_SHIFT=14
9 CONFIG_BLK_DEV_INITRD=y
12 CONFIG_ARCH_INTEL_SOCFPGA=y
17 CONFIG_ZBOOT_ROM_TEXT=0x0
18 CONFIG_ZBOOT_ROM_BSS=0x0
22 CONFIG_MODULE_UNLOAD=y
23 # CONFIG_BLK_DEV_BSG is not set
28 CONFIG_NET_KEY_MIGRATE=y
35 CONFIG_NETWORK_PHY_TIMESTAMPING=y
37 CONFIG_VLAN_8021Q_GVRP=y
40 CONFIG_CAN_C_CAN_PLATFORM=y
41 CONFIG_CAN_DEBUG_DEVICES=y
45 CONFIG_PCIE_ALTERA_MSI=y
47 CONFIG_DEVTMPFS_MOUNT=y
52 CONFIG_MTD_NAND_DENALI_DT=y
54 # CONFIG_MTD_SPI_NOR_USE_4K_SECTORS is not set
55 CONFIG_SPI_CADENCE_QUADSPI=y
59 CONFIG_BLK_DEV_RAM_COUNT=2
60 CONFIG_BLK_DEV_RAM_SIZE=8192
65 # CONFIG_SCSI_PROC_FS is not set
67 # CONFIG_SCSI_LOWLEVEL is not set
77 CONFIG_INPUT_TOUCHSCREEN=y
78 CONFIG_TOUCHSCREEN_STMPE=y
79 # CONFIG_SERIO_SERPORT is not set
80 CONFIG_SERIO_AMBAKMI=y
81 CONFIG_LEGACY_PTY_COUNT=16
83 CONFIG_SERIAL_8250_CONSOLE=y
84 CONFIG_SERIAL_8250_NR_UARTS=2
85 CONFIG_SERIAL_8250_RUNTIME_UARTS=2
86 CONFIG_SERIAL_8250_DW=y
89 CONFIG_I2C_DESIGNWARE_PLATFORM=y
91 CONFIG_SPI_DESIGNWARE=y
98 CONFIG_GPIO_ALTERA_A10SR=y
99 CONFIG_SENSORS_MAX1619=y
101 CONFIG_SENSORS_LTC2978=y
102 CONFIG_SENSORS_LTC2978_REGULATOR=y
105 CONFIG_MFD_ALTERA_A10SR=y
106 CONFIG_MFD_ALTERA_SYSMGR=y
109 CONFIG_REGULATOR_FIXED_VOLTAGE=y
113 CONFIG_NOP_USB_XCEIV=y
120 CONFIG_LEDS_TRIGGERS=y
121 CONFIG_LEDS_TRIGGER_TIMER=y
122 CONFIG_LEDS_TRIGGER_CPU=y
124 CONFIG_RTC_DRV_DS1307=y
131 CONFIG_FPGA_MGR_SOCFPGA=y
132 CONFIG_FPGA_MGR_SOCFPGA_A10=y
134 CONFIG_SOCFPGA_FPGA_BRIDGE=y
135 CONFIG_ALTERA_FREEZE_BRIDGE=y
138 CONFIG_EXT2_FS_XATTR=y
139 CONFIG_EXT2_FS_POSIX_ACL=y
154 CONFIG_NLS_CODEPAGE_437=y
155 CONFIG_NLS_ISO8859_1=y
160 CONFIG_DETECT_HUNG_TASK=y
161 # CONFIG_SCHED_DEBUG is not set
162 CONFIG_FUNCTION_TRACER=y