unfortunately, I can't tell you that because we haven't tried it out.
I can only give you the following information. The RevPi image is based on Raspberry OS. If the SDK can be installed there, it should probably not be a problem.
However, I can't promise you that it will work because we have adapted the image to the product, so there might be a problem.
So you have to try it out. Feel free to share your experiences with the community in this forum post.