GitHub repository: seL4/libsel4allocman
Primary language: C
Description: memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.