By default, the Makefiles build the design for the VCK190 Production board (i.e. using the xilinx_vck190_base_export PLATFORM=xilinx_vck190_es1_base_<ver> with your sample_env_setup.sh script.
By default, the Makefiles build the design for the VCK190 Production board (i.e. using the xilinx_vck190_base_export PLATFORM=xilinx_vck190_es1_base_<ver> with your sample_env_setup.sh script.