BeagleBone Black SGX Kernel Module nun open Source?

[Tobias B. (tobiasz80)]

Hallo Leute,

ich bin zur Zeit dabei mit dem BeagleBone Black rum zu spielen. Ich habe 
gesehen, das es neuerdings sogar den 3.18er Linux Kernel mit SGX Support 
gibt!
Ein aktuellen Kernel ohne SGX Support sollte recht einfach machbar sein. 
Es steht schließlich alles im Datenblatt, und entgegen z.B. dem 
Raspberry Pi ist das Datenblatt wirklich(?) komplett! Das einzige was 
noch fehlte, war eine Dokumentation zu dem SGX. Und da es auch keine 
open Source SGX Treiber gab, war es unmöglich an neue Kernel zu kommen.

So, nun hab ich das 
https://eewiki.net/display/linuxonarm/BeagleBone+Black simple Tutorial 
mal durch gearbeitet und habe nun ein aktuellen Kernel mit SGX Support.
Nach dem ich mir nun die Skripte mal angesehen habe bin ich auf das 
https://github.com/RobertCNelson/ti-sdk-pvr Repo gestoßen. Das wird 
verwendet um die SGX Treiber zu bauen.

Also ich hoffe mich kann jemand korrigieren, aber sehe ich das nun 
richtig, das nun auch der SGX Treiber OSS ist, und nur noch das Userland 
CSS ist?