rust-linux-mini-kernel
Stato del progetto: SconosciutoRunuX: 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.
- Software o hardware oggetto del progetto
- Tipo di lavoro
- Repository pubblico principale
- github.com/xaviercallens/rust-linux-mini-kernel
I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.
I metadati del repository devono essere aggiornati. La scheda memorizzata resta disponibile.
Descrizione e ambito
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.
Disponibilità ad accettare contributi
Regole sui contributi sconosciute
- Regole sui contributi assistiti dall'IA
- Non specificato
Sistemi documentati per contribuire
Ambiente di contribuzione non documentato
Avanzamento dichiarato
Avanzamento non dichiarato
Fonti, compilazione e release
- Apri il repository · github.comgithub.com/xaviercallens/rust-linux-mini-kernel