Xilinx device and board support for Yocto/OE-core.