Device tree issues with PYNQ on Custom Board

Do you have a BSP? If so, can you follow this?:
https://discuss.pynq.io/t/quick-porting-of-pynq-using-pre-built-images/1075/15

Cathal