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 19options FDT 20