rust-linux-mini-kernel
项目状态: 未知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.
- 目标软件或硬件
- 工作类型
- 主要公开仓库
- github.com/xaviercallens/rust-linux-mini-kernel
按最近记录的仓库星标数排序。星标反映关注度，不代表完成进度。未获取到的数值显示为未知。
仓库元数据需要更新。仍可查看已缓存的项目信息。
介绍与范围
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.
贡献接收情况
贡献政策未知
- AI 辅助贡献政策
- 未说明
有文档依据的贡献者系统
尚无贡献环境记录
已报告进度
尚未报告进度
源码、构建与发布
- 打开仓库 · github.comgithub.com/xaviercallens/rust-linux-mini-kernel