6caa6b1d73
Fix the issue reported in #1359, change the implementation of os_printf/os_vprintf for Intel SGX to get the actual bytes written. |
||
---|---|---|
.. | ||
untrusted | ||
platform_internal.h | ||
sgx_file.c | ||
sgx_file.h | ||
sgx_platform.c | ||
sgx_pthread.c | ||
sgx_pthread.h | ||
sgx_rsrv_mem_mngr.h | ||
sgx_signal.c | ||
sgx_signal.h | ||
sgx_socket.c | ||
sgx_socket.h | ||
sgx_thread.c | ||
sgx_time.c | ||
sgx_time.h | ||
sgx_wamr.edl | ||
shared_platform.cmake |