There were some minor changes required to Robert’s patches to get them to build the SGX drivers as kernel modules. One of the patches set drivers/staging/omap3_sgx/Kconfig to use “boo&…