After the design is built correctly without error, we 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 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 serial connection.