[asandweech]

Last time I checked, vivado was available and fully functional on linux. Unless you are aware of a change in the last few minutes?