Hi Dragos,
I ran into the same problem as blong using the Microblaze library on a custom board without the I2C switch, where execution gets stuck in HAL_PlatformInit() because the switch is not on the bus. I took a look at the source code in the link you provided, but if the HAL_PlatformInit() function is the only place where the switch is communicated with in the Microblaze library (to turn on the ADV7511's channel), I'm hoping I can just rewrite that function and still be able to use the rest of the pre-compiled library. However, the source for HAL_PlatformInit() doesn't seem to be available so I'm not sure what all is done in it (specifically, interrupt configuration). Could you provide some insight on what needs to occur in this function?