[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [Minios-devel] [UNIKRAFT/LIBMICROPYTHON PATCH v3 0/6] Port of Micropython to Unikraft
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
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |