rumpkernel/rumprun
The Rumprun unikernel and toolchain for various platforms
Public GitHub Catalog
Discovered Oct 14, 2026
rumpkernel / rumprun-packages
Ready-made packages of software for running on the Rumprun unikernel
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.
#38428873GitHub System ID
rumpkernelOrganization / User
PublicVisibility
ActiveCatalog Status
More from rumpkernel
rumpkernel/rumpkernel.github.io
Website for rumpkernel.org
rumpkernel/src-netbsd
Mirror of NetBSD sources useful with rump kernels
rumpkernel/pci-userspace
Kernel PCI device drivers in userspace