heshamelmatary/libsel4cspace
Public repository.
Public GitHub Catalog
Discovered Oct 18, 2026
heshamelmatary / libsel4utils
seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.
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.
#39466540GitHub System ID
heshamelmataryOrganization / User
PublicVisibility
ActiveCatalog Status
More from heshamelmatary
heshamelmatary/libsel4allocman
memory, object and capability allocator for seL4 that implements vka, compatible with experimental and master branches.
heshamelmatary/libsel4simple
Simple interface for seL4 -- abstracts over the userlevel environment, indepedent of how userlevel was loaded.
heshamelmatary/libsel4vspace
Interface for virtual memory management on seL4.