3 CONFIG_DEFAULT_DEVICE_TREE="sun50i-h6-tanix-tx6"
5 CONFIG_MACH_SUN50I_H6=y
6 CONFIG_SUNXI_DRAM_H6_DDR3_1333=y
8 CONFIG_MMC0_CD_PIN="PF6"
9 CONFIG_MMC_SUNXI_SLOT_EXTRA=2
10 # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
11 CONFIG_SYS_MONITOR_LEN=786432