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

[Felipe Huici <felipe.huici@xxxxxxxxx>]

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

-- 
2.20.1


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