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