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

[Oleksandr Tymoshenko]

On 2/28/2013 4:23 PM, Bernd Walter wrote:
> On Thu, Feb 28, 2013 at 02:28:34PM -0800, Oleksandr Tymoshenko wrote:
>> On 2/28/2013 7:11 AM, Thomas Skibo wrote:
>>> I don't have anything specific in mind but I hope I can wind down
>>> kernel hacking and do some FPGA hacking.  I've developed a device
>>> config driver so you can reprogram the PL (FPGA) section with "cat
>>> system.bit.bin > /dev/devcfg0".
>> Yeah, that's what I meant by "interfacing" - ability to
>> upload bitstream to FPGA directly from FreeBSD. Although
>> I think ioctl interface seems more fool-proof than simple raw access
>> to device.
> Amazing.
> I have a zedboard since a couple of weeks, but didn't find time to
> boot FreeBSD yet.
> Great to see that it is save to reload the FPGA from OS and no PL is
> required for basic functionality.
>

Any suggestions where to get one? Do you know if AVNET the only 
non-academic
source for them?