The design can be built for the VCK190 evaluation board using the Makefile as follows: [shell]% cd <path-to-repo>/ [shell]% make all TARGET=hw The build process will generate the SD card image in the <path-to-repo>/package/sd_card folder.