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

[Santiago Pagani <santiago.pagani@xxxxxxxxx>]

WAMR baremetal demo running on a Raspberry Pi3 B+

Santiago Pagani (1):
  libs/wamr: WAMR baremetal demo running on a Raspberry Pi3 B+

 Makefile.uk                                 | 57 ++++++++++++++---
 patches/0005-adapt-main-c-to-unikraft.patch |  9 ---
 patches/0006-clock_gettime.patch            | 70 +++++++++++++++++++++
 patches/0007-export-gui-symbols.patch       | 17 +++++
 patches/0008-wgl_obj_wrapper.patch          | 67 ++++++++++++++++++++
 patches/0009-event.patch                    | 11 ++++
 6 files changed, 213 insertions(+), 18 deletions(-)
 create mode 100644 patches/0006-clock_gettime.patch
 create mode 100644 patches/0007-export-gui-symbols.patch
 create mode 100644 patches/0008-wgl_obj_wrapper.patch
 create mode 100644 patches/0009-event.patch

-- 
2.17.1


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