11.2 Memory allocation with libmemkind

On Linux systems, where the memkind library (libmemkind.so.0) is available at runtime, it is used when creating memory allocators requesting