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