some info about the new Vivado release:
1) 2015.4 includes HLS C synthese in free version, no fee required any more!
2) 2015.4 is the last version that support HLS for spartan-6 this weird, I wonder how many users are using HLS with S-6?
3) board-part files from 2015.3 seem to work, there is no change
As this is STABLE release and there will be Linux releases matching 2015.4 it is advised to upgrade 2015.3 to 2015.4 (2015.3 was beta-release as always odd numbers).
For design using linux, need still wait until Xilinx linux 2015.4 gets released this can take a few more weeks.
We are preparing 2015.4 support and designs, there will be no updates to 2015.3 board files or designs, eg all 2015.3 we re-target to 2015.4.
Older designs will also be ported to 2015.4
At this moment there is one demo design in our downloads for TE0712, this design includes a build script that:
1) creates the design/project
2) exports hw
3) builds srec bootloader and hello world
4) sets srec bootloader elf to be embedded into bram
5) creates bit file (with bootloader in brams)
6) exports HDF with bitfile for SDK software design
7) converts hello.elf to s-records

creates MCS file
9) flashes the SPI flash on TE0712
10) forces the FPGA to reboot from spi flash
hello is loaded to DDR and says hello world!
similar design for other modules, including zynq based ones will follow.
The above design has been tested on win PC, and TE0712-200, all works out of the box as described above
We will enhance/change the scripts, but it can already today be used as reference how to build hw and sw in one go