BSP layer for Xilinx Zynq Extensible Processing Platform