BSP header file for the virtualization layer;
adaptions to use virtLayerBSP functions