Yes, an INTEGRITY kernel BSP is supplied with the software accompanying your product.