ph0sec/vmlaunch
Simple Driver code for vmlaunch
Public GitHub Catalog
Discovered Oct 1, 2026
ph0sec / seL4
The seL4 microkernel
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.
#22379258GitHub System ID
ph0secOrganization / User
PublicVisibility
ActiveCatalog Status
More from ph0sec
ph0sec/actaeon
Memory forensics of virtualization environments
ph0sec/pomodoro
Time management for your Mac
ph0sec/GeneralUtils
Public repository.