tree 6537f80eea919d26261a2fc89f0f46d555831a9a
parent 897f12b3617a6234278bea16d31f7215532876e4
author Sam Leffler <sleffler@google.com> 1664310959 +0000
committer Sam Leffler <sleffler@google.com> 1664750779 +0000

seL4_libs: skip tainted untypeds during bootstrap

Untyped slabs are marked tainted when the kerrnel uses them to back
rootserver resources. They should not be used to bootstrap dynamic
allocators because the current logic assumes untypeds provided by
the kernel are empty/unused (so mucking with them will corrupt the
rootserver's VSpace).

Change-Id: I1912131c1cc066224120f73d6abf9daed6b2ced7