Re: [Minios-devel] [UNIKRAFT/LIBMICROPYTHON PATCH v3 0/6] Port of Micropython to Unikraft

[Vlad-Andrei BĂDOIU (78692) <vlad_andrei.badoiu@xxxxxxxxxxxxxxx>]

Thanks for porting micropython Felipe! It is a great addition to Unikraft.

Vlad

On 09.10.2019 10:14, Felipe Huici wrote:
> This is our initial port of Micropython (Python for embedded devices) to 
> Unikraft.
>
> Changes since v2:
> * Fixed typo that was prventing main() menu option from actually working
> * Removed exportsyms.uk
>
> Changes since v1:
> * Removed main.c from port sources, patched MP's unix/main.c instead
> * Removed modlwip.c from port sources, patched MP's extmod/modlwip.c instead
> * Added menu option to provide a main()
> * Fixed various typos
>
> *** BLURB HERE ***
>
> Felipe Huici (6):
>    Introduce library skeleton
>    Add Makefile.uk
>    Add Unikraft-adapted external modules.
>    Add patches.
>    Add header files
>    Add optional main()
>
>   CODING_STYLE.md                               |   4 +
>   CONTRIBUTING.md                               |   4 +
>   COPYING.md                                    |  39 ++
>   Config.uk                                     |  14 +
>   MAINTAINERS.md                                |  12 +
>   Makefile.uk                                   | 299 +++++++++
>   README.md                                     |  15 +
>   extmod/modusocket.c                           | 624 ++++++++++++++++++
>   glue.c                                        |  10 +
>   include/modlwip.h                             | 111 ++++
>   include/mpconfigport.h                        | 320 +++++++++
>   mpconfigport.mk                               |  45 ++
>   patches/0001-missing-board-defines.patch      |  11 +
>   patches/0002-clearup-nlrpush-frame.patch      |  10 +
>   ...compile-guard-gc-function-unix-alloc.patch |  16 +
>   patches/0004-adapt-main-c-to-unikraft.patch   |  46 ++
>   patches/0005-adapt-modlwip-to-unikraft.patch  | 242 +++++++
>   17 files changed, 1822 insertions(+)
>   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 extmod/modusocket.c
>   create mode 100644 glue.c
>   create mode 100644 include/modlwip.h
>   create mode 100644 include/mpconfigport.h
>   create mode 100644 mpconfigport.mk
>   create mode 100644 patches/0001-missing-board-defines.patch
>   create mode 100644 patches/0002-clearup-nlrpush-frame.patch
>   create mode 100644 patches/0003-compile-guard-gc-function-unix-alloc.patch
>   create mode 100644 patches/0004-adapt-main-c-to-unikraft.patch
>   create mode 100644 patches/0005-adapt-modlwip-to-unikraft.patch
>
_______________________________________________
Minios-devel mailing list
Minios-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/minios-devel