[Minios-devel] [UNIKRAFT PATCH v3 0/3] Support for lwip dependencies in Unikraft

[Simon Kuenzer <simon.kuenzer@xxxxxxxxx>]

This patch series introduces libraries to support the bringup of lwip network
stack. lwip requires the following libraries.
* Semaphore
* Mutex
* Mailbox

Current version of work without newlib and hence need atoi implementation in
nolibc which is also added as a part of this patch series.

Changes since v3:
* As good example, code formatting and style problems are fixed (checkpatch)

Changes since v2:
* atoi returns __I_MIN or __I_MAX for values that are out of range
* Correct dependencies with Config.uk for libukmpi, libuklock
* Restructure config menu to align with exisitng scheme on
  Unikraft (libukmpi, libuklock)
* Use DLVL_EXTRA instead of DLVL_INFO in libukmpi, libuklock
* Patch 2 (lib/ukboot: Initialize lwip on boot) and patch 3
  (lib/ukswrand: Introduce libukswrand) are removed since they
  were upstreamed from v1 of this series already.

Sharan Santhanam (3):
  lib/nolibc: Introduce atoi() function
  lib/uklock: Introduce semaphores and mutexes with libuklock
  lib/ukmpi: Introduce mailboxes with libukmpi

 lib/Config.uk                     |   2 +
 lib/Makefile.uk                   |   2 +
 lib/nolibc/include/stdlib.h       |   6 ++
 lib/nolibc/stdlib.c               |  11 +++
 lib/uklock/Config.uk              |  20 +++++
 lib/uklock/Makefile.uk            |   7 ++
 lib/uklock/export.syms            |   2 +
 lib/uklock/include/uk/mutex.h     | 113 +++++++++++++++++++++++
 lib/uklock/include/uk/semaphore.h | 146 ++++++++++++++++++++++++++++++
 lib/uklock/mutex.c                |   7 ++
 lib/uklock/semaphore.c            |  10 +++
 lib/ukmpi/Config.uk               |  18 ++++
 lib/ukmpi/Makefile.uk             |   6 ++
 lib/ukmpi/export.syms             |   7 ++
 lib/ukmpi/include/uk/mbox.h       |  67 ++++++++++++++
 lib/ukmpi/mbox.c                  | 182 ++++++++++++++++++++++++++++++++++++++
 16 files changed, 606 insertions(+)
 create mode 100644 lib/uklock/Config.uk
 create mode 100644 lib/uklock/Makefile.uk
 create mode 100644 lib/uklock/export.syms
 create mode 100644 lib/uklock/include/uk/mutex.h
 create mode 100644 lib/uklock/include/uk/semaphore.h
 create mode 100644 lib/uklock/mutex.c
 create mode 100644 lib/uklock/semaphore.c
 create mode 100644 lib/ukmpi/Config.uk
 create mode 100644 lib/ukmpi/Makefile.uk
 create mode 100644 lib/ukmpi/export.syms
 create mode 100644 lib/ukmpi/include/uk/mbox.h
 create mode 100644 lib/ukmpi/mbox.c

-- 
2.7.4


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