Hi Rolf,
I think I found a way to not answer no
As linux kernel xlnx-3.14 provides all needed support for Trenz Modules you can consider xlnx-3.14. is te-3.14
Based on that it makes no sense for us to provide exact duplicate of xlnx-3.14
Buildroot:
1 ASFAIK petalinux is built on top of buildroot and yocto
2 petalinux can use remote kernel, you just select your kernel in the main config screen
if you use buildroot without petalinux for any reason, I guess you can continue using it
Our policy is (and actually has been) to provide support for as-mainstream and as standard-accepted solutions with minimal patching and customization.
With petalinux 2014.2 virtually all functions are available with vendor supported flow, vendor=xilinx flow=petalinux
So saying once again, if you create vivado design for TE0720, and even bare template petalinux projects, and just drag HDF into it, it results in valid booting Linux system.
Our 720-BSP for petalinux provides just some customization for special functions it does not apply ANY PATCHES at all. All done by the standard customization flow.
720-BSP includes following files that are "customized"
1) system-top.dts
2) platform-top.h
3) fsbl-hooks.c
1) support and fixes to device tree
2) u-boot customization
3) early readout of MAC address from EEPROM (sets PS7-ETH mac address)
so 3 files changed, everything else is just customization done by petalinux-config gui menus.
--
WORK FLOW (this can be different, but this is what works)
1 WinPC with Vivado, used to create HDF file
2 linux VM with petalinux installed NO LICENSE, optional SDK installed without LICENSE!
create HDF, drag into VM
petalinux-config --get-hw-description
petalinx-build
those will build all needed files except BOOT.BIN
the process above does not need vivado or SDK in the linux VM
if you want to build BOOT.BIN in linux VM then Xilinx SDK must be installed, it ok not to install Xilinx license, bootgen runs without it
We are really working hard and this all will be described in our online manual also, but I hope it explains a bit the work flow.
As Xilinx does not officially support "custom board" flow in 2014.2, and was we ARE using "custom board" flow already, we consider 2014.2 as temporary version, meaning as soon as 2014.3 comes out, we are forced to switch 2014.3 in the hope that it will be at least somewhat LTS version. Or at least we will use it as long term support version.
Custom board support in 2014.2 is possible, we are doing it, but Xilinx is not supporting it, and we are not opening any more new webcases as they are related to feature that Xilinx last public release does not support.
There are some minor issues with 2014.2, both in Vivado IPI as in petalinux, they are more as annoyance as real issues, and have simple workarounds. We implement those fixes in our petalinux-bsp's.