Sorry for the late reply. I've been very busy the last few weeks. Thanks to @volcano0dr for your suggestions. I just published a new commit with the suggested edits.
Corentin Lauverjat @ Mithril Security -- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/apache/incubator-teaclave-sgx-sdk/pull/353#issuecomment-919180896
