<p><span class="h-card" translate="no"><a href="https://mstdn.social/@estelle" class="u-url mention">@<span>estelle</span></a></span> it even runs correctly, which involved some messy launcher work</p><p>unfortunately the steam overlay doesn't work in vivado, but i've heard vitis renders the UI using opengl...</p>
