FreeRTOS FSBL
Tested on Xilinx Vivado/SDK 2017.3, Ubuntu 16.04 LTS.
This tutorial assumes you have completed the "Creating example project with AXI4 Lite peripheral in Xilinx Vivado"-tutorial.
Exporting hardware bitstream
After the bitstream was generated in the previous tutorial, it is now possible to export it. Goto: File -> Export -> Export Hardware.. Click to include bitstream, and press "OK".
Next, goto: File -> Launch SDK. The following window will appear:
Press "OK".