KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
-
Updated
Jun 26, 2026 - OCaml
#
multikernel
Here are 9 public repositories matching this topic...
Lightweight Sandbox Powered by a Purpose-Built VM and OS
-
Updated
Sep 5, 2026 - Rust
Mcube Kernel: Operating System Supporting Dynamically Switchable Kernel Models
-
Updated
Jan 12, 2021 - C
kerf is a tool designed to orchestrate and manage multiple kernel instances on a single host.
-
Updated
Aug 30, 2026 - Python
Transforms kernels without requiring reboots
-
Updated
Sep 5, 2026 - C
Developing MultiKernel Jupyter Notebook for Python and Legend Services
-
Updated
Sep 23, 2025 - Python
Clean-slate Rust operating system built around capabilities, object-native services, modular components, and security gates from first boot.
rust security kernel x86-64 wasm operating-system rust-lang object-store rustlang aarch64 microkernel bare-metal systems-programming hackoctoberfest multikernel capability-security clean-slate-os
-
Updated
Jul 27, 2026 - Rust
Add this topic to your repo
To associate your repository with the multikernel topic, visit your repo's landing page and select "manage topics."