christoph/wamr
1
Fork 0
Code Releases Activity

Implement wasi clock_time/clock_res get (#2637)

Browse Source 
Add os_clock_res_get and os_clock_time_get in platform_api_extension.h,
and implement them in posix like platforms and windows platform.
This commit is contained in:
fadumina1
2023-10-22 14:11:29 +01:00
committed by GitHub
parent fa5e9d72b0
commit a874bf0ff8
8 changed files with 299 additions and 35 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
core/shared/platform/linux-sgx/shared_platform.cmake
View File

@ -36,6 +36,8 @@ endif()
file (GLOB source_all_untrusted ${PLATFORM_SHARED_DIR}/untrusted/*.c)
list(APPEND source_all ${PLATFORM_SHARED_DIR}/../common/posix/posix_clock.c)
set (PLATFORM_SHARED_SOURCE ${source_all})
set (PLATFORM_SHARED_SOURCE_UNTRUSTED ${source_all_untrusted})