rust-linux-mini-kernel
État du projet: InconnuRunuX: 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.
- Logiciel ou matériel étudié
- Type de travail
- Dépôt public principal
- github.com/xaviercallens/rust-linux-mini-kernel
Les projets sont classés selon le dernier nombre d’étoiles relevé sur leur dépôt. Les étoiles reflètent l’intérêt, pas l’avancement. Les valeurs manquantes restent inconnues.
Les métadonnées du dépôt doivent être actualisées. La fiche en cache reste disponible.
Présentation et périmètre
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.
Accueil des contributions
Règles de contribution inconnues
- Règles sur les contributions assistées par IA
- Non précisé
Systèmes documentés pour contribuer
Configuration pour contribuer non documentée
Avancement communiqué
Avancement non communiqué
Code source, compilations et versions
- Ouvrir le dépôt · github.comgithub.com/xaviercallens/rust-linux-mini-kernel