Hello,
I have had sucess creating PYNQ 2.7 and 3.1 on Alinx boards. Please refer to this two forum discussions:
Custom board image building for HTG-ZRF16 - #4 by crispy245 How to get the BSP for PYNQ (using only the .xsa gave some issues)
Adding PYNQ to an existing Petalinux build on a new board without BSP - #2 by joshgoldsmith Please refer to @joshgoldsmith guide. It helped me out greatly.
Lastly, it seems that many of us with Alinx boards want to move into Pynq but been having issues around it. I will try to create some sort of automated way to create images for new boards since it isn’t hard per-se (plus the PYNQ team does help out) but has a lot of caveats one must be aware.
Let me know if you need any support,
Best,
Aldo.