Hi There is no hdmi_boost option on vero4k like on rpi3? Thanks
There shouldn’t be any need. Just use a good cable.
Sam