rust-linux-mini-kernel
Status do projeto: DesconhecidoRunuX: 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 ou hardware estudado
- Tipo de trabalho
- Repositório público principal
- github.com/xaviercallens/rust-linux-mini-kernel
Os projetos são ordenados pela última contagem de estrelas registrada. Estrelas indicam interesse, não progresso. Contagens indisponíveis permanecem desconhecidas.
Os metadados do repositório precisam ser atualizados. A ficha em cache continua disponível.
Descrição e escopo
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.
Aceitação de contribuições
Política de contribuição desconhecida
- Política de contribuições com auxílio de IA
- Não informada
Sistemas documentados para contribuir
Ambiente de contribuição não documentado
Progresso informado
Progresso não informado
Código-fonte, compilações e versões
- Abrir repositório · github.comgithub.com/xaviercallens/rust-linux-mini-kernel