This post lists the commands to erase, and W95 FAT32 (LBA) format an SD card so you can boot Linux from it on a ZCU102, ZC702, or other...

This post shows how to access an SD card via a USB reader from Ubuntu 16.04.3 running in a virtual machine hosted by VirtualBox version...