1 مستودع
Awesome GitHub RepositoriesMicrokernel Rust Runtimes
Rust bindings, runtimes, and target specifications for writing userspace applications on a microkernel.
Distinct from Rust Systems Programming: Distinct from Rust Systems Programming: focuses on Rust runtimes and bindings specifically for microkernel userspace, not general systems-level Rust.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Microkernel Rust Runtimes. Refine with filters or upvote what's useful.
Awesome Microkernel Rust Runtimes GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- sel4/sel4
seL4/seL4
5,583عرض على GitHubseL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Provides Rust bindings and runtimes for writing userspace applications including root tasks and Microkit protection domains.
Cmicrokernelossel4
