| #
1a42660e |
|
04-May-2020 |
Kent McLeod <Kent.Mcleod@data61.csiro.au> |
Add dynamic-untyped-allocators module
This module takes an untyped pool and .simple=True attribute of a
component to initialize vka and vspace allocators backed by
libsel4allocman. It then calls any init functions registered by other
modules or component sources that require using a vka or vspace.
|