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

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


  • To: Jia He <jiakernel2@xxxxxxxxx>, "minios-devel@xxxxxxxxxxxxx" <minios-devel@xxxxxxxxxxxxx>
  • From: Felipe Huici <Felipe.Huici@xxxxxxxxx>
  • Date: Fri, 11 Oct 2019 07:40:29 +0000
  • Accept-language: en-US
  • Delivery-date: Fri, 11 Oct 2019 07:40:35 +0000
  • List-id: Mini-os development list <minios-devel.lists.xenproject.org>
  • Thread-index: AQHVfdqABaq0+M5X3kixWVwkqfraK6dU4SIAgAAxd4A=
  • Thread-topic: [Minios-devel] [UNIKRAFT/LIBUUID PATCH v3 0/4] Support for Intel's WebAssembly Micro Runtime

Hi Justin,

On 11.10.19, 08:43, "Jia He" <jiakernel2@xxxxxxxxx> wrote:

    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?

No, I removed it on purpose :), please see second bullet point under the 
heading "Changes since v2".

-- Felipe
    
    ---
    Cheers,
    Justin (Jia He)
    
    

_______________________________________________
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®.