rumpkernel/pci-userspace
Kernel PCI device drivers in userspace
Public GitHub Catalog
Discovered Sep 29, 2026
rumpkernel / rumpctrl
Control and diagnostic applications for rump kernels
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.
#15422816GitHub System ID
rumpkernelOrganization / User
PublicVisibility
ActiveCatalog Status
More from rumpkernel
rumpkernel/rump-pktgenif
Packet generator and performance simulation tool for rump kernel networking
rumpkernel/wiki
Wiki for rump kernels
rumpkernel/drv-netif-netmap
netmap interface driver for userspace TCP/IP stack