• Home
  • History
  • Annotate
  • Raw
  • Download
  • only in /seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/camkes-include/
History log of /seL4-camkes-master/projects/global-components/components/modules/dynamic-untyped-allocators/camkes-include/dynamic-untyped-allocators.camkes
Revision Date Author Comments
# 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.