[Minios-devel] [UNIKRAFT/REDIS PATCH 0/4] Introduce Redis port

[Costin Lupu <costin.lup@xxxxxxxxx>]

These are the first patches for support Redis on Unikraft. This is enough for
running a simple Redis server. We will add more information to README either
in the next version of this series or in the next series if the current one
gets accepted.

Bogdan Lascu (2):
  Introduce library skeleton
  Build Redis server as library

Costin Lupu (2):
  Add <release.h> header
  Provide main() function for Redis server if configured to do so

 .gitignore                                    |  27 +++
 CODING_STYLE.md                               |   4 +
 CONTRIBUTING.md                               |   4 +
 COPYING.md                                    |  39 ++++
 Config.uk                                     |  28 +++
 MAINTAINERS.md                                |  11 +
 Makefile.uk                                   | 201 ++++++++++++++++++
 README.md                                     |   9 +
 include/release.h                             |   3 +
 ...se-linux-macros-for-Unikraft-as-well.patch |  26 +++
 server_main.c                                 |   6 +
 11 files changed, 358 insertions(+)
 create mode 100644 .gitignore
 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 include/release.h
 create mode 100644 
patches/0001-hiredis-Use-linux-macros-for-Unikraft-as-well.patch
 create mode 100644 server_main.c

-- 
2.20.1


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