heshamelmatary/libsel4allocman
memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.
Public GitHub Catalog
Discovered Oct 18, 2026
heshamelmatary / libsel4cspace
Public repository discovered through GitHub real-time crawl.
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.
#39506653GitHub 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.