Re: [intel-sgx-kernel-dev] Debugging interface