FreeBSD on Zedboard (Xilinx Zynq-7000) SD card image

[Oleksandr Tymoshenko]

On 2013-02-27, at 4:11 PM, Thomas Skibo <ThomasSkibo at sbcglobal.net> wrote:

> 
> Hello.
> 
> I've created an SD card image to make it easy to test-drive FreeBSD on the Zedboard.  The 150MB (compressed) image is on my zedbsd site at
> http://www.thomasskibo.com/zedbsd.
> 
> The caveat is that the kernel crashes occasionally when the Zedboard tries to ftp a file to a local filesystem.  I might post here again soon soliciting help on that one (it looks like a stale TLB entry causes a fault when copying user data to a file buffer).  But, I thought it might be worth releasing this image anyway.
> 
> Let me know if it (otherwise) works or doesn't work for you.

Awesome! Thanks, Thomas. 
Do you have any plans to work on  interfacing FPGA part of the board with FreeBSD?