Note: The
petalinux-boot --jtag command might not work as expected when executed
within a virtual machine since virtual machines often have problems with JTAG cable
drivers.