memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.