ZynqのLinux KernelのBSP(Board Support Package)は、mach-zynqにあります。
board_ep107.c board_zc770.c board_zc770_xm010.c common.c pl330.c ps2.c scu_gtimer.c slcr.c timer.c
また、デバイスドライバは、
GEM xilinx_emacps.c GPIO xilinx_gpiops.c I2C i2c-xilinx_ps.c NAND xilinx_nandpss.c QSPI xilinx_qspipc.c SCU WDT xilinx_scuwdt.c SPI xilinx_spips.c System WDT xilinx_wdtps.c UART xilinx_uartps.c USB Host ehci-xilinx-usbps.c USB Device xilinx_usbps_udc.c USB OTG xilinx_usbps_otg.cです。
検証、Verification、FPGA