After the design is built, you are ready to run on the hardware board.
Flash the SD card with the built
sd_card.img.Plug the flashed SD card into the SD card slot of the VCK190 board.
Connect the USB type C cable to the board and computer that supports the serial port connection.
Set the serial port configuration with Speed=115200, Data=8 bit, Parity=none, Stop bits=1 bit, and flow control=none.
Power up the VCK190 board to see boot messages from the serial connection.