JTAG: Any library/interface for JTAG TAP manipulation

To be more specific, I want to access (write & readback) the configuration memory in a Xilinx zynq7000 FPGA through JTAG TAP.
I know that it is more appropriate to post this question in Xilinx’s forum but maybe some library for the basic JTAG instructions exists in the freertos side.

It would be very helpful to have this kind of interface instead of manually handle the JTAG state machine to read and write some configuration registers.

Thanks.

Afraid not - but wonder if the open source OpenOCD project might provide something that is useful to you?