# $Id: basys3_setup.tcl 1194 2019-07-20 07:43:21Z mueller $
# SPDX-License-Identifier: GPL-3.0-or-later
# Copyright 2015- by Walter F.J. Mueller <W.F.J.Mueller@gsi.de>
#
set rvtb_part  "xc7a35tcpg236-1"
set rvtb_board "basys3"
