John-Mark Gurney 80d7c14c42 Bring in support for single core Zynq devices. Turns out that real ... hardware, the registers appear like there's two cores, but the second core does not work, so base the number of cores upon the chip id. Tested on a XC7Z007S. also, previous commit was suppose to be D14429. Submitted by: Thomas Skibo Differential Revision: https://reviews.freebsd.org/D14429		2020-05-21 06:40:51 +00:00
..
files.zynq7	Add the Cadence GEM ethernet driver to NOTES so that it gets built with	2020-04-02 19:06:05 +00:00
std.zynq7
uart_dev_cdnc.c
zy7_devcfg.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
zy7_ehci.c
zy7_gpio.c
zy7_l2cache.c
zy7_machdep.c
zy7_machdep.h
zy7_mp.c	Bring in support for single core Zynq devices. Turns out that real	2020-05-21 06:40:51 +00:00
zy7_qspi.c
zy7_reg.h
zy7_slcr.c	Mark more nodes as CTLFLAG_MPSAFE or CTLFLAG_NEEDGIANT (17 of many)	2020-02-26 14:26:36 +00:00
zy7_slcr.h	Bring in support for single core Zynq devices. Turns out that real	2020-05-21 06:40:51 +00:00
zy7_spi.c	arm: zynq: An SPI driver for Zynq platforms	2020-02-28 10:57:23 +00:00