[Minios-devel] [UNIKRAFT/LIBUUID PATCH v3 0/4] 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 v2:
* Fixed typo in Config.uk that was preventing main() option from working
* Removed exportsyms.uk which prevents main() option from working
* Fixed copy & paste error in MAINTAINERS.md
* Explicitly selected all deps in Config.uk 

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 (4):
  Introduce library skeleton
  Add Makefile.uk and glue.
  Add include directory
  Add various patches to (a) make wamr build against pthread-embedded,
    (b) use wasm's log and (c) patch into wamr's linux's main loop.

 .gitignore                                    |  27 ++++
 CODING_STYLE.md                               |   4 +
 CONTRIBUTING.md                               |   4 +
 COPYING.md                                    |  39 ++++++
 Config.uk                                     |  14 ++
 MAINTAINERS.md                                |  10 ++
 Makefile.uk                                   | 112 +++++++++++++++
 README.md                                     |  13 ++
 glue.c                                        |  10 ++
 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, 519 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 glue.c
 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