heshamelmatary/libsel4allocman
memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.
Public GitHub Catalog
Discovered Sep 27, 2026
heshamelmatary / libSystem_and_linker
Linker, libSystem and other stuff for Magenta.
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#10389009GitHub System ID
heshamelmataryOrganization / User
PublicVisibility
ActiveCatalog Status
More from heshamelmatary
heshamelmatary/libsel4simple
Simple interface for seL4 -- abstracts over the userlevel environment, indepedent of how userlevel was loaded.
heshamelmatary/libsel4utils
seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.
heshamelmatary/libsel4vspace
Interface for virtual memory management on seL4.