# Autogenerated by LiteX / git: 6932fc51
set -e
vivado -mode batch -source cmod7.tcl