SGX driver for 3.0.17 in Ubuntu

Hi!

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: http://downloads.angstrom-distribution.org/demo/beagleboard/. However I have no clue how to install SGX modules and where to take them from. All instructions from here: http://elinux.org/BeagleBoardUbuntu 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?