heshamelmatary/libsel4cspace
Public repository.
Public GitHub Catalog
Discovered Sep 30, 2026
heshamelmatary / rtems-gsoc2014
RTEMS kernel fork for "Porting RTEMS to OpenRISC" GSoC'2014 project.
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.
#19043796GitHub 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/libsel4utils
seL4 specific OS utility library -- implements threads, processes, virtual memory, elf loading etc.