Need a help for deploying it on vck5000.

[Prathmesh-shalu141]

@ZhuopingYang I have checked the makefile, where it will throw an error if I give the device name as vck5000. However, what adjustments would you advise me to make if I wanted it to be deployed on the VCK5000 board?