rust-linux-mini-kernel
Stan projektu: NieznanyRunuX: 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.
- Badane oprogramowanie lub sprzęt
- Rodzaj prac
- Główne publiczne repozytorium
- github.com/xaviercallens/rust-linux-mini-kernel
Projekty są sortowane według ostatniej zapisanej liczby gwiazdek repozytorium. Gwiazdki oznaczają zainteresowanie, a nie postęp prac. Brakujące wartości pozostają nieznane.
Metadane repozytorium wymagają odświeżenia. Zapisany wpis pozostaje dostępny.
Opis i zakres prac
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.
Możliwość współpracy
Zasady współpracy nieznane
- Zasady korzystania z AI
- Nie określono
Systemy współtwórców według dokumentacji
Brak dokumentacji środowiska współtwórcy
Podany postęp
Nie podano postępu
Kod źródłowy, budowanie i wydania
- Otwórz repozytorium · github.comgithub.com/xaviercallens/rust-linux-mini-kernel