1 रिपॉजिटरी
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
AI के साथ बेहतरीन रिपॉजिटरी खोजें।हम AI का उपयोग करके सबसे सटीक रिपॉजिटरी खोजेंगे।
- asterinas/asterinas
asterinas/asterinas
4,678GitHub पर देखेंAsterinas 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
