Re: [Minios-devel] [UNIKRAFT/LIBUUID PATCH v3 0/4] Support for Intel's WebAssembly Micro Runtime

[Jia He <jiakernel2@xxxxxxxxx>]

Hi Felipe

On 2019/10/8 21:15, Felipe Huici wrote:
> 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
Maybe you missed the exportsyms.uk?

---
Cheers,
Justin (Jia He)


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