The development board is currently using U-Boot 2015.04-00392-g6581aea-dirty (Jul 02 2016 - 14:06:02) and is booting an Android image. I have a simple VxWorks 7 VIP built using the BSP for the i.MX6 Sabre board. The SDCard is formatted for Android OS so how do I get the VxWorks image onto the SD card and how do I boot to this image instead of the Android OS?