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