FreeBSD on Zedboard (Xilinx Zynq-7000)

[Ruslan Bukin]

On Sat, Dec 29, 2012 at 12:40:59PM -0800, Thomas Skibo wrote:
> One thing that stumped me for a while is that the interrupt controller
> driver, gic.c, does not initialize the priority mask register
> (GICC_PMR).  The boot-loader left it at zero which masked all
> interrupts.  For now, I plug 0xff into it in my initarm_late_init()
> function in zynq7_machdep.c.

the same issue with Exynos. Thanks!

-Ruslan