tijl 4e8b6b4a06 Since r289279 bufinit() uses mp_ncpus, but some architectures set this ... variable during mp_start() which is too late. Move this to mp_setmaxid() where other architectures set it and move x86 assertions to MI code. Reviewed by: kib (x86 part)		2015-11-08 14:26:50 +00:00
..
zedboard
files.zynq7
std.zynq7
uart_dev_cdnc.c
zy7_devcfg.c
zy7_ehci.c
zy7_gpio.c
zy7_l2cache.c
zy7_machdep.c
zy7_mp.c
zy7_reg.h
zy7_slcr.c
zy7_slcr.h