[Minios-devel] [UNIKRAFT/LIBMICROPYTHON PATCH 0/7] 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 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

Felipe Huici (7):
  Introduce library skeleton
  Add Makefile.uk
  Add Unikraft-adapted external modules.
  Add patches.
  Add header files
  Add optional main()
  Add exportsyms.uk

 CODING_STYLE.md                               |   4 +
 CONTRIBUTING.md                               |   4 +
 COPYING.md                                    |  39 ++
 Config.uk                                     |  14 +
 MAINTAINERS.md                                |  12 +
 Makefile.uk                                   | 299 +++++++++
 README.md                                     |  11 +
 exportsyms.uk                                 |   1 +
 extmod/modusocket.c                           | 624 ++++++++++++++++++
 include/modlwip.h                             | 111 ++++
 include/mpconfigport.h                        | 320 +++++++++
 main.c                                        |  10 +
 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 +++++++
 18 files changed, 1819 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 exportsyms.uk
 create mode 100644 extmod/modusocket.c
 create mode 100644 include/modlwip.h
 create mode 100644 include/mpconfigport.h
 create mode 100644 main.c
 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