[Minios-devel] [UNIKRAFT/LIBWAMR PATCH 0/1] libs/wamr: Adding clock_gettime for WAMR running on a Raspberry Pi3 B+

[Santiago Pagani <santiago.pagani@xxxxxxxxx>]

Adding clock_gettime for WAMR running on a Raspberry Pi3 B+.
Please note, that for some reason WAMR is not being able to read
data writen to tv_nsec from the WAMR side. Therefore, in order to
be able to get full resolution of the RTC system timer of the
Raspberry Pi 3 from within WAMR, Unikraft is writing the raw
data from the RTC, that is, the microseconds since power up, into
the tv_sec variable, rather than seconds.

Santiago Pagani (1):
  libs/wamr: Adding clock_gettime for WAMR running on a Raspberry Pi3 B+

 Makefile.uk                                 | 13 ++--
 patches/0005-adapt-main-c-to-unikraft.patch |  9 ---
 patches/0006-clock_gettime.patch            | 70 +++++++++++++++++++++
 3 files changed, 77 insertions(+), 15 deletions(-)
 create mode 100644 patches/0006-clock_gettime.patch

-- 
2.17.1


_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel