What does bindto mean

In [Overlay Tutorial — Python productivity for Zynq (Pynq)]

The section on creating a driver has the line: bindto = [‘xilinx.com:hls:add:1.0’]

What is this line doing?

As stated in the documentation, it binds the driver to a specific hardware IP. So if you have an HLS IP add, that IP will be automatically assigned that driver. You can specify multiple IPs in that list, e.g. PYNQ/dma.py at master · Xilinx/PYNQ · GitHub