Hello, Is there an OpenBSD port for the Digilent Zybo Z7 ARM/FPGA development board available? I know there is a FreeBSD port for the previous model.
If not, is it hard to port OpenBSD to this platform? UBoot port and the device trees are available for this board. Thanks in advance! -- Best regards, Johannes K.
