Note: This tutorial targets the VEK280 Production board (see https://www.xilinx.com/products/boards-and-kits/vek280.html). If you have already purchased this board, download the necessary files from the website and ensure that you have the correct licenses installed.