rust-linux-mini-kernel
Estado del proyecto: DesconocidoRunuX: 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 objeto del proyecto
- Tipo de trabajo
- Repositorio público principal
- github.com/xaviercallens/rust-linux-mini-kernel
Los proyectos se ordenan por el último número de estrellas registrado. Las estrellas indican interés, no progreso. Los recuentos no disponibles se muestran como desconocidos.
Los metadatos del repositorio necesitan actualizarse. La ficha almacenada sigue disponible.
Descripción y alcance
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.
Admisión de colaboraciones
Política de colaboración desconocida
- Política de contribuciones asistidas por IA
- Sin especificar
Sistemas documentados para colaborar
Entorno de colaboración sin documentar
Progreso comunicado
No se ha comunicado el progreso
Código fuente, compilaciones y versiones
- Abrir repositorio · github.comgithub.com/xaviercallens/rust-linux-mini-kernel