1#
2# Xilinx SoC support
3#
4
5# SoC support
6options 	SOC_XILINX_ZYNQ
7
8# Serial (COM) ports
9device		uart_ns8250		# ns8250-type UART driver
10device		uart_snps
11device		pl011
12
13# Ethernet NICs
14device		cgem			# Cadence GEM Gigabit Ethernet device
15
16# MMC/SD/SDIO Card slot support
17device		sdhci
18
19# IICBUS
20device		cdnc_i2c
21
22options 	FDT
23