[UNIKRAFT PATCH v2 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.

Changes since v1:
 - various minor improvements of menuconfig entries and descriptions
 - fix NEC headers
 - fix remaining // comments
 - align prevbase instead of newbase in uk_allocregion_malloc

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

 lib/Makefile.uk                            |   1 +
 lib/ukallocregion/Config.uk                |  12 ++
 lib/ukallocregion/Makefile.uk              |   6 +
 lib/ukallocregion/exportsyms.uk            |   1 +
 lib/ukallocregion/include/uk/allocregion.h |  50 +++++++++
 lib/ukallocregion/region.c                 | 172 +++++++++++++++++++++++++++++
 lib/ukboot/Config.uk                       |  23 +++-
 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