Android JB on BBB with SGX and Kernel 3.13 ?


I have followed the great article from Andrew ( it works fine.
However I wanted to use SGX and since I see on Robert Nelson’s wiki ( that there is a 3.13 kernel with SGX support I wanted to use it in my BBB with Android.

I wonder if anyone has succeed using that kernel?