[UNIKRAFT PATCH 0/2] lib/ukallocregion: add region-based allocator

[Hugo Lefeuvre <hugo.lefeuvre@xxxxxxxxx>]

Add ukallocregion, a minimalist region-based allocator.

ukallocregion is a special-purpose memory allocator. It satisfies
allocation requests contiguously without bookkeeping. Allocations are
therefore realized in O(1), but deallocation is not supported. This
allocator can be useful as a baseline, or as a first level allocator
in a nested context. More information in patch descriptions.

Hugo Lefeuvre (2):
  lib/ukallocregion: add region-based allocator
  lib/ukboot: initialize ukallocregion

 lib/Makefile.uk                            |   1 +
 lib/ukallocregion/Config.uk                |  13 +++
 lib/ukallocregion/Makefile.uk              |   6 +
 lib/ukallocregion/exportsyms.uk            |   1 +
 lib/ukallocregion/include/uk/allocregion.h |  49 +++++++++
 lib/ukallocregion/region.c                 | 169 +++++++++++++++++++++++++++++
 lib/ukboot/Config.uk                       |  26 ++++-
 lib/ukboot/boot.c                          |  19 +++-
 8 files changed, 274 insertions(+), 10 deletions(-)
 create mode 100644 lib/ukallocregion/Config.uk
 create mode 100644 lib/ukallocregion/Makefile.uk
 create mode 100644 lib/ukallocregion/exportsyms.uk
 create mode 100644 lib/ukallocregion/include/uk/allocregion.h
 create mode 100644 lib/ukallocregion/region.c

-- 
2.7.4