Andrew Turner e4c66ddabd Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files. ... These are unneeded with INTRNG.		2018-07-28 06:46:10 +00:00
..
files.zynq7	o Move sdhci_fdt to the generic files list.	2018-01-25 17:16:29 +00:00
std.zynq7	Remove IPI_IRQ_START and IPI_IRQ_END from the arm kernel config files.	2018-07-28 06:46:10 +00:00
uart_dev_cdnc.c	Enable UART support for Xilinx Ultrascale+ SoCs	2018-07-13 19:54:22 +00:00
zy7_devcfg.c	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00
zy7_ehci.c	arm: Fix duplicate ehci DRIVER_MODULE	2018-04-27 21:05:58 +00:00
zy7_gpio.c	Fix accidental USB port resets by GPIO on Zynq/Zedboard boards	2018-04-03 04:31:54 +00:00
zy7_l2cache.c	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00
zy7_machdep.c	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00
zy7_machdep.h	Add external PLATFORM access on arm, and use it in the pl310 driver.	2017-07-11 16:30:16 +00:00
zy7_mp.c	Start to move the arm *_mp.h to be names *_machdep.h. These will be used	2017-07-10 15:27:53 +00:00
zy7_reg.h	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00
zy7_slcr.c	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00
zy7_slcr.h	sys/arm: further adoption of SPDX licensing ID tags.	2017-11-27 15:04:10 +00:00