I'm trying to set the CFGBVS and CONFIG_VOLTAGE settings for a ZedBoard design.
The Hardware guide v2.2 says JP4: "Pre-configuration I/O standard type for the dedicated configuration bank 0. Vcco_0 is 3.3V, Connected to 3.3V through a 10K resistor. This jumper connects to GND and should NOT be used"
While I think that might be phrased better, seems pretty clear that what I need is
set_property CFGBVS VCCO [current_design]
set_property CONFIG_VOLTAGE 3.3 [current_design]
But earlier HW Guides (i.e. versions 1.x) say: "Pre-configuration I/O standard type for the dedicated configuration bank 0. Open sets bank0 voltage to 1.8V. Default: Open"
Which ... well, seems not the same.
NB: I have left JP4, unpopulated, obviously.