KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization
-
Updated
Jun 26, 2026 - OCaml
#
multikernel
Here are 10 public repositories matching this topic...
Lightweight Sandbox Powered by a Purpose-Built VM and OS
-
Updated
Oct 12, 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
Sep 30, 2026 - Python
Transforms kernels without requiring reboots
-
Updated
Sep 9, 2026 - C
Run NVIDIA Tesla P40 (Pascal) + RTX 5070 Ti (Blackwell) together for llama.cpp — mixed NVIDIA drivers via KVM + AF_VSOCK RPC
pascal kernel gpu linux-kernel cuda nvidia ubuntu-server multi-gpu multikernel blackwell llm llama-cpp tesla-p40 rtx-5070-ti rtx5070ti
-
Updated
Oct 10, 2026 - Python
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."