SmartCamera Firmware

We are a US based robotics company who are designing an AI project that will be based on the Xilinx Kria SOM. We are looking for assistance in the development of firmware / software. Experience with Ultrascale FPGA families and associated tools (Vivado, Vitis, Petalinux) needed.