FreeRTOS FSBL
From ift
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.. Make sure to include bitstream, and press "OK".

Next, goto: File -> Launch SDK. The following window will appear:

Press "OK" and wait for Xilinx SDK to start up and finish loading.
... Work in progress ...