rust-linux-mini-kernel
Projektstatus: UnbekanntRunuX: a #[no_std] Rust kernel and Linux-subsystem reimplementation with Lean 4 formal verification. Real boots on x86_64, RISC-V, and AArch64 (QEMU + real GCP VMs), an eBPF-style syscall firewall, and real PCIe/IOMMU probing on Google Cloud TPU hardware. Research project, contributions welcome.
- Untersuchte Software oder Hardware
- Arbeitsansatz
- Öffentliches Hauptrepository
- github.com/xaviercallens/rust-linux-mini-kernel
Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.
Die Repository-Metadaten müssen aktualisiert werden. Der gespeicherte Eintrag bleibt verfügbar.
Über das Projekt und seinen Umfang
RunuX: a #[no_std] Rust kernel and Linux-subsystem reimplementation with Lean 4 formal verification. Real boots on x86_64, RISC-V, and AArch64 (QEMU + real GCP VMs), an eBPF-style syscall firewall, and real PCIe/IOMMU probing on Google Cloud TPU hardware. Research project, contributions welcome.
Möglichkeiten zur Mitarbeit
Regeln zur Mitarbeit unbekannt
- Regeln für KI-unterstützte Beiträge
- Nicht angegeben
Dokumentierte Systeme für Mitwirkende
Arbeitsumgebung nicht dokumentiert
Gemeldeter Fortschritt
Kein Fortschritt gemeldet
Quellen, Builds und Veröffentlichungen
- Repository öffnen · github.comgithub.com/xaviercallens/rust-linux-mini-kernel