SGX driver for 3.0.17 in Ubuntu


I try to bring up any version of Ubuntu but with description how to do all steps manually. Requirements for this compilation are as follows:

  1. ARM 1GHz

  2. SGX enabled

  3. GUI

  4. DSP - optional

Robert advised to use a kernel from here: However I have no clue how to install SGX modules and where to take them from. All instructions from here: lead to specific kernel versions which are different from the one I use.

Can anybody share the experience in Ubuntu with the features listed above?