A lightweight separation kernel designed specifically for adaptability, real-time computing, and mixed-criticality workloads

eBPF-based network diagnosis tool for Linux

MySQL to Redis cache sync utility

Walrus is a WebAssembly transformation library 🌊🐘

WebAssembly AOT compiler with cross-CPU checkpoint/restore support

An implementation of a small TCP/IP protocol stack for learning.

NVIDIA Linux open GPU kernel module source

This artifact accompanies the paper 'Pronghorn: Effective Checkpoint Orchestration for Serverless Hot-Starts,' which has been accepted for presentation at EuroSys'24.

A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler

A curated list of resources for embedded AI

A unikernel designed specifically for running Wasm applications and compatible with WASI

Research WebAssembly Engine

Interactively Visualizing Ownership and Borrowing for Rust

SQLite Benchmark

Primary Git Repository for the Zephyr Project. Zephyr is a new generation, scalable, optimized, secure RTOS for multiple hardware architectures.

Optimizer and compiler/toolchain library for WebAssembly

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

containerd shims for running WebAssembly workloads in Kubernetes

The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

Reparent a running program to a new terminal

A dynamic analysis framework for WebAssembly programs.

The WebAssembly Pre-Initializer

An interactive debugger for WebAssembly

xv6 OS

The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/

Tiny & fast WebAssembly edge compute server

system call hook for Linux

32-bit RISC-V CPU in ~800 lines of C89

A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.