Hello 42Bastian,
The Vivante driver it is completely based for Linux, so it can not be used as binary in other operating Systems.
Have a great day,
Jaime
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------