FreeBSD on Zedboard (Xilinx Zynq-7000)

Bernd Walter ticso at
Sun Dec 30 14:12:09 UTC 2012

On Sat, Dec 29, 2012 at 12:40:59PM -0800, Thomas Skibo wrote:
> Hello.
> I have been tinkering with this for several weeks:  I booted FreeBSD
> on a Zedboard (a low-cost evaluation board for the Xilinx Zynq-7000 SoC).

That's very exciting because I hope to get two parallella boards next
year from their kickstarter event.

> It was just a matter of coming up with a device tree file, implementing
> a UART driver, attaching the generic sdhci driver to the Zynq's SD
> hardware, and adding a new CPU id.  I don't have an ethernet driver yet
> but I've started on it.
> I created an sdhci_fdt driver based on sdhci_pci.c.  It should be
> useful for other platforms.  I won't be surprised if somebody points
> out there is one already.
> 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.
> I'll provide my source soon.  I want to do a few clean-ups of course
> and I'll take any feed-back on my naming conventions and how I organized 
> the files.

B.Walter <bernd at>
Modbus/TCP Ethernet I/O Baugruppen, ARM basierte FreeBSD Rechner uvm.

More information about the freebsd-arm mailing list