jacinto6: sgx-bin: update sgx binaries and source for kernel 3.14
[android-sdk/device-ti-proprietary-open.git] / jacinto6 / sgx /
drwxr-xr-x   ..
-rw-r--r-- 5051 Android.mk