skalk/l4linux
Clone of L4Linux from tudos.org
Public GitHub Catalog
Discovered Sep 26, 2026
skalk / linux
Linux kernel source tree
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#6173353GitHub System ID
skalkOrganization / User
PublicVisibility
ActiveCatalog Status
More from skalk
skalk/foc
Fork of Fiasco.OC and parts of L4RE that are used by the Genode framework.
skalk/genode
Genode OS Framework