* Philipp Rossak embed3d@gmail.com [190214 10:18]:
I set the displayed name to "OpenSGX Linux Driver Group" but that can be changed later, if necessary.
You might want to change it to something more specific like "OpenPVRSGX Linux Driver Group" :)
There is already non-graphics related Intel SGX "opensgx": https://github.com/sslab-gatech/opensgx
Regards,
Tony