wondering about Xilinx Zynq 7000 support

[David Young <dyoung%pobox.com@localhost>]

I'm curious if anyone is currently developing on the Xilinx Zynq 7000,
the neat 2-core ARM SoC with FPGA on-die.  Looks like NetBSD was ported
to that SoC years ago.

NetBSD doesn't seem to have a driver for loading bitstreams to the FPGA.
Are there any serious obstacles to adding that support to NetBSD?  Looks
like open-source drivers for Linux already exist.

One interesting experimenter board based on the Zynq 7000 is the Red
Pitaya SDRlab 122-16,
https://redpitaya.com/product/sdrlab-122-16-standard-kit/ .

David

-- 
David Young
dyoung%pobox.com@localhost    Urbana, IL    (217) 721-9981