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

[Oleksandr Tymoshenko]

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.


>
> On 2/27/13 10:02 PM, Oleksandr Tymoshenko wrote:
>>
>> Awesome! Thanks, Thomas.
>> Do you have any plans to work on  interfacing FPGA part of the board 
>> with FreeBSD?
>>
>>
>