heshamelmatary / libsel4allocman Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sel4proj/libsel4allocman
memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.
Home Page: http://sel4.systems
License: Other