IEEE 1588 Precision Time

Are there any projects or is anyone aware of any work done to get an IEEE 1588 Precision Time Protocol client running on PYNQ, either on the PS or PL side? I see there are some Linux projects and some proprietary IP out there and I don’t want to reinvent the wheel. Ideally I could use a guide to building ptp4l on the PS and then generating timestamps for the PL to use, but any relevant information would be appreciated.