1 个仓库
Awesome GitHub RepositoriesLanguage-Level Driver Isolation
Isolation of internal kernel modules and drivers using language-level type and module systems.
Distinct from Module Isolation: Uses language safety (Rust) for internal driver isolation rather than unmounting modules from namespaces.
Explore 1 awesome GitHub repository matching software engineering & architecture · Language-Level Driver Isolation. Refine with filters or upvote what's useful.
Awesome Language-Level Driver Isolation GitHub Repositories
用 AI 发现最棒的仓库。我们将通过 AI 为您搜索最匹配的仓库。
- tock/tock
tock/tock
6,351在 GitHub 上查看Tock is a secure embedded operating system and microcontroller kernel designed to isolate untrusted applications and drivers. It functions as a memory-safe process isolator that uses a combination of hardware memory protection and language-level type safety to execute mutually distrustful applications on bare metal. The system distinguishes itself through a hardware abstraction layer that decouples high-level components from specific microcontroller implementations using standardized traits. It further employs a virtualization layer to allow multiple independent software components to share a
Uses a language sandbox to protect internal modules and drivers from each other without incurring hardware overhead.
Rust
