jacinto6: update SGX kernel module for latest kernel
[android-sdk/device-ti-proprietary-open.git] / jacinto6 / sgx /
drwxr-xr-x   ..
-rw-r--r-- 5051 Android.mk