andrew e91597da47 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