heshamelmatary/seL4-riscv-mk
seL4 microkernel RISC-V port (OUTDATED!)
Public GitHub Catalog
Discovered Oct 7, 2026
heshamelmatary / libmuslc
MUSL C library ported to seL4
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.
#35835621GitHub System ID
heshamelmataryOrganization / User
PublicVisibility
ActiveCatalog Status
More from heshamelmatary
heshamelmatary/libsel4platsupport
Library of drivers for seL4 -- uses libplatsupport for OS independent functionality.
heshamelmatary/libplatsupport
OS independent basic driver library (mostly timers, serial, clocks)
heshamelmatary/riscv-isa-sim
RISC-V Functional ISA Simulator