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

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



This is our initial port of Micropython (Python for embedded devices) )to 
Unikraft.

Felipe Huici (5):
  Introduce library skeleton
  Add Makefile.uk
  Add glue code.
  Add patches.
  Export symbols

 CODING_STYLE.md                          |    4 +
 CONTRIBUTING.md                          |    4 +
 COPYING.md                               |   39 +
 Config.uk                                |    8 +
 MAINTAINERS.md                           |   12 +
 Makefile.uk                              |  292 +++++++
 README.md                                |   16 +
 exportsyms.uk                            |    1 +
 extmod/modlwip.c                         | 1410 ++++++++++++++++++++++++++++++
 extmod/modusocket.c                      |  624 +++++++++++++
 include/modlwip.h                        |  111 +++
 include/mpconfigport.h                   |  320 +++++++
 main.c                                   |  543 ++++++++++++
 mpconfigport.mk                          |   45 +
 patches/0001-missing-board-defines.patch |   11 +
 patches/0002-clearup-nlrpush-frame.patch |   10 +
 16 files changed, 3450 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/modlwip.c
 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

-- 
2.11.0


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