[[UNIKRAFT] 0/4] Provide isr-safe routines for unikraft

[cristian-vijelie <cristianvijelie@xxxxxxxxx>]

This series of patches adds a new library, isrlib, and modifes
2 existing ones, uklock and ukmpi, to provide interrupt-context-safe
routines to unikraft.

cristian-vijelie (4):
  lib/isrlib: Introduce libc-like interrupt-context-safe routines
  lib/uklock: Provide isr-safe mutex routines
  lib/uklock: Provide isr-safe semaphore routines
  lib/ukmpi: Provide isr-safe routines

 lib/isrlib/Config.uk                  |   3 +
 lib/isrlib/Makefile.uk                |  10 +
 lib/isrlib/include/uk/isr/stdlib.h    |  60 ++++
 lib/isrlib/include/uk/isr/string.h    |  72 +++++
 lib/isrlib/stdlib.c                   | 417 ++++++++++++++++++++++++++
 lib/isrlib/string.c                   | 325 ++++++++++++++++++++
 lib/uklock/include/uk/isr/mutex.h     |   3 +
 lib/uklock/include/uk/isr/semaphore.h |   3 +
 lib/ukmpi/include/uk/isr/mbox.h       |   8 +
 9 files changed, 901 insertions(+)
 create mode 100644 lib/isrlib/Config.uk
 create mode 100644 lib/isrlib/Makefile.uk
 create mode 100644 lib/isrlib/include/uk/isr/stdlib.h
 create mode 100644 lib/isrlib/include/uk/isr/string.h
 create mode 100644 lib/isrlib/stdlib.c
 create mode 100644 lib/isrlib/string.c
 create mode 100644 lib/uklock/include/uk/isr/mutex.h
 create mode 100644 lib/uklock/include/uk/isr/semaphore.h
 create mode 100644 lib/ukmpi/include/uk/isr/mbox.h

-- 
2.25.1