VCCAUX is actually 3.3V on the Atlys.
VCCAUX is actually 3.3V on the Atlys.

See Sheet 10 - FPGA POWER
 - https://reference.digilentinc.com/_media/atlys:atlys:atlys_sch.pdf

mithro/HDMI2USB-litex-firmware,mithro/HDMI2USB-litex-firmware,cr1901/HDMI2USB-litex-firmware,mithro/HDMI2USB-litex-firmware,mithro/HDMI2USB-litex-firmware,cr1901/HDMI2USB-litex-firmware,cr1901/HDMI2USB-litex-firmware,cr1901/HDMI2USB-litex-firmware