DecompHub

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.

対象のソフトウェア・ハードウェア
Unknown
取り組みの種類
ソースコードの復元
メインの公開リポジトリ
github.com/xaviercallens/rust-linux-mini-kernel
GitHub
0GitHub のスター数

最後に取得したリポジトリのスター数順に表示します。スター数は関心の高さを示すもので、完成度ではありません。取得できていない値は不明と表示します。

リポジトリ情報の再確認が必要です。保存済みの掲載情報は引き続き閲覧できます。

概要と対象範囲

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を利用した貢献の方針
明記なし

参加環境として資料に記載されているOS

参加環境の記録がないプロジェクト

報告されている進捗

進捗の報告なし

ソース・ビルド・リリース