How to enable chipkit pins on PYNQ-Z1

Support
1

From the docs:

There are also ChipKit pins beside the Arduino interface on the PYNQ -Z1 board. These pins are connected to the Zynq PL, but are not enabled in the base overlay.

I have a PYNQ-Z1 and a V2.4 image. I need the chipkit pins (IO26 - IO41) to be enabled in the logictools overlay. I see the pins in the base overlay xdc file, but I do not know what I need to do in Vivado to get the pins enabled in the logictools overlay. We have designed a daughter card which will mate to the Arduino/Chipkit connectors, so I must get this working.

Can someone provide direction on what I need to do in Vivado to get these pins enabled?
Vivado version is 2019.1

Thanks.

2

You can find the pin constraints for the ChipKit pins in the XDC here:

Cathal