[Minios-devel] [UNIKRAFT/LIBWAMR PATCH v2 0/5] Support for Intel's WebAssembly Micro Runtime

[Felipe Huici <felipe.huici@xxxxxxxxx>]

This is our intial port of wamr to Unikraft. For now it supports
REPL mode and running a program from a WAMR file provided via initrd. 

Changes since v1:
 * Patch main.c in sources instead of providing main.c in glue code
 * Add menu option to add main() function
 * Handle case where ukplat_memregion_find_initrd0(&img)<0 in main.c
 * Fix typo in exportsyms.uk
 * Change Config.uk to select lwip, newlib and pthread-embedded deps

Felipe Huici (5):
  Introduce library skeleton
  Add Makefile.uk
  Add include directory
  Add patches
  Export symbols

 .gitignore                                    |  27 ++++
 CODING_STYLE.md                               |   4 +
 CONTRIBUTING.md                               |   4 +
 COPYING.md                                    |  39 ++++++
 Config.uk                                     |  12 ++
 MAINTAINERS.md                                |  10 ++
 Makefile.uk                                   | 112 +++++++++++++++
 README.md                                     |  13 ++
 exportsyms.uk                                 |  63 +++++++++
 include/bh_platform.h                         | 129 ++++++++++++++++++
 ...-fix-pthread-embedded-pthread-t-type.patch |  15 ++
 ...-fix-pthread-embedded-pthread-t-type.patch |  16 +++
 ...thread-use-wasm-log-insteadof-bh-log.patch |  11 ++
 patches/0004-add-math-h.patch                 |  11 ++
 patches/0005-adapt-main-c-to-unikraft.patch   | 104 ++++++++++++++
 15 files changed, 570 insertions(+)
 create mode 100644 .gitignore
 create mode 100644 CODING_STYLE.md
 create mode 100644 CONTRIBUTING.md
 create mode 100644 COPYING.md
 create mode 100644 Config.uk
 create mode 100644 MAINTAINERS.md
 create mode 100644 Makefile.uk
 create mode 100644 README.md
 create mode 100644 exportsyms.uk
 create mode 100644 include/bh_platform.h
 create mode 100644 
patches/0001-wasm-log-fix-pthread-embedded-pthread-t-type.patch
 create mode 100644 
patches/0002-bh-thread-fix-pthread-embedded-pthread-t-type.patch
 create mode 100644 patches/0003-bh-thread-use-wasm-log-insteadof-bh-log.patch
 create mode 100644 patches/0004-add-math-h.patch
 create mode 100644 patches/0005-adapt-main-c-to-unikraft.patch

-- 
2.20.1


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