tree 88bb5a2778059841d1b305c37f688a1cfc149472
parent d4abdfa6fe68da206388464321ec465402838819
author Kent McLeod <Kent.Mcleod@data61.csiro.au> 1583391690 +1100
committer Kent McLeod <Kent.Mcleod@data61.csiro.au> 1583399734 +1100

libsel4vm: Remove allocman dependency

allocman is an object allocation manager that provides an implementation
of the `vka_t` interface. As libsel4vm can perform all allocation
through the `vka_t` interface, it doesn't need to know about allocman.
This commit also adds some missing #includes for dependencies that were
being originally included through the allocman header.