Is 4K VRR over HDMI possible on Linux?

Everything that I've been reading says that it's only doable with DisplayPort.