ADV7511 HAL_PlatformInit() hanging on PicoZed FMC Carrier Card V2

Hello I am trying to get the no-OS ADV7511 project to work but the program hangs at HAL_PlatformInit(). Is there a solution available for the picozed7030 device running on the PicoZed FMC Carrier Card V2? I think the problem is in the I2C communication and timer communication. Is there a HAL_PlatformInit for this combination? Thanks.