Hi @jmvermeulen, thanks for your query. The 4C linux drivers are included as part of the Tobii Stream Engine package which you can download @
Please bear in mind however, they for the time being we only support Ubuntu 16.04 so we cannot guarantee operability on any other Linux platform.
That being said, please do try it out and let us know how you get on! Best wishes.