HPS design for Agilex F-series development kit?

[SocKid]

Is there a HPS design available for the F-series development kit?

Intel Agilex F-Series FPGA Development Kit

I can only find one for the Transceiver development kit:

Intel Agilex F-Series Transceiver-SoC Development Kit