PACKAGES: ti-sgx-ddk-km-src ti-sgx-ddk-km-dbg ti-sgx-ddk-km-staticdev ti-sgx-ddk-km-dev ti-sgx-ddk-km-doc ti-sgx-ddk-km-locale ti-sgx-ddk-km
