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.
Приём стороннего участия
Правила участия неизвестны
- Правила использования ИИ
- Не указаны
Системы участников по документации
Окружение участника не описано
Заявленный прогресс
Прогресс не опубликован
Исходники, сборка и релизы
- Открыть репозиторий · github.comgithub.com/xaviercallens/rust-linux-mini-kernel