6 kern/kern_clocksource.c standard
8 arm/xilinx/zy7_machdep.c standard
9 arm/xilinx/zy7_l2cache.c standard
10 arm/xilinx/zy7_slcr.c standard
11 arm/xilinx/zy7_devcfg.c standard
12 arm/xilinx/zy7_mp.c optional smp
14 dev/cadence/if_cgem.c optional cgem
15 dev/sdhci/sdhci_fdt.c optional sdhci
16 arm/xilinx/zy7_ehci.c optional ehci
17 arm/xilinx/uart_dev_cdnc.c optional uart
18 arm/xilinx/zy7_gpio.c optional gpio