1 repository
Awesome GitHub RepositoriesIsolated Kernel Component Testing
Testing strategies that isolate kernel functions for verification without requiring a full system boot.
Distinct from Test Kernel Booting: Contrasts with boot testing by focusing on unit-level isolation of kernel logic.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Isolated Kernel Component Testing. Refine with filters or upvote what's useful.
Awesome Isolated Kernel Component Testing GitHub Repositories
Găsește cele mai bune repo-uri cu AI.Vom căuta cele mai potrivite repository-uri folosind AI.
- asterinas/asterinas
asterinas/asterinas
4,678Vezi pe GitHubAsterinas is a memory-safe operating system kernel designed to prevent data races and memory corruption. It functions as a Linux-ABI compatible kernel, enabling the execution of existing Linux binaries and container workloads while providing a declarative operating system distribution model. The project distinguishes itself by acting as a virtual machine container host and a confidential computing guest OS, allowing it to run within hardware-isolated Trusted Execution Environments such as Intel TDX. It implements a minimal trusted computing base by isolating unsafe low-level operations and se
Provides mechanisms to verify kernel functions in isolation without requiring a full system boot.
Rustkernelosrust
