2 Repos
Awesome GitHub RepositoriesMemory-Safe Kernels
Operating system kernels implemented using languages that prevent data races and memory corruption by design.
Distinguishing note: Existing candidates focus on memory manipulation techniques or specific runtimes, not the identity of a memory-safe kernel.
Explore 2 awesome GitHub repositories matching operating systems & systems programming · Memory-Safe Kernels. Refine with filters or upvote what's useful.
Awesome Memory-Safe Kernels GitHub Repositories
Finde die besten Repos mit KI.Wir suchen mit KI nach den am besten passenden Repositories.
- asterinas/asterinas
asterinas/asterinas
4,678Auf GitHub ansehenAsterinas 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
Implements a memory-safe kernel designed to prevent data races and memory corruption.
Rustkernelosrust - unikraft/unikraft
unikraft/unikraft
3,733Auf GitHub ansehenUnikraft is a modular library operating system and unikernel framework designed to compile applications into minimal, bootable virtual machine images. It serves as an OCI-compliant image builder and a cloud-native hypervisor target, enabling the creation of specialized runtimes that include only the specific drivers and libraries required by a single application. The system features a Linux compatibility layer that maps standard API calls and POSIX standards to unikernel libraries, allowing unmodified binaries to run without a full general-purpose kernel. It distinguishes itself by allowing c
Incorporates modules written in memory-safe or formally verified languages to prevent low-level vulnerabilities.
Capplicationcloudcloud-native
