[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Minios-devel] [UNIKRAFT/LIBWAMR PATCH 0/3] support for Intel's WebAssembly micro runtime



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

Felipe Huici (3):
  Introduce library skeleton
  Add Makefile.uk
  Export symbols

 .gitignore                                         |  27 +++
 CODING_STYLE.md                                    |   4 +
 CONTRIBUTING.md                                    |   4 +
 COPYING.md                                         |  39 ++++
 Config.uk                                          |   4 +
 MAINTAINERS.md                                     |  10 +
 Makefile.uk                                        | 105 +++++++++
 README.md                                          |   9 +
 exportsyms.uk                                      |  63 ++++++
 include/bh_platform.h                              | 129 +++++++++++
 main.c                                             | 236 +++++++++++++++++++++
 ...m-log-fix-pthread-embedded-pthread-t-type.patch |  15 ++
 ...hread-fix-pthread-embedded-pthread-t-type.patch |  16 ++
 ...3-bh-thread-use-wasm-log-insteadof-bh-log.patch |  11 +
 14 files changed, 672 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 main.c
 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

-- 
2.11.0


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

 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.