1 dépôt
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
Trouvez les meilleurs dépôts grâce à l'IA.Nous recherchons les dépôts les plus pertinents grâce à l'IA.
- tock/tock
tock/tock
6,351Voir sur GitHubTock 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
