r0b0 is a communication system for connecting human interface device (HID) hardware and system software; an `aconnect` for anything.

Print signal mask

Build environment WasmLinux kernel and userland

Linux kernel with modifications for ARCH=um + !CONFIG_MMU in x86_64

(WIP) trying to port LKL to wasm

iip: an integratable TCP/IP stack

mscp: transfer files over multiple SSH (SFTP) connections

Open SSTP Client for Android

Virtual KVM for macOS

SMP support for LKL

Port of musl-c makecontext for iOS

kind (Kubernetes in Docker) GitHub Action

Sets up Minikube for your Github Actions

Latest PASTE (NSDI'18) repository

Anonymous Github is a proxy server to support anonymous browsing of Github repositories for open-science code and data.

routing protocol daemon

study the LKL(linux kernel library) https://github.com/lkl/linux

Linux Kernel implementation of MultiPath TCP

NodeJS native bindings to the Linux Kernel Library project

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will …

HotCRP conference review software

EDK II LKL Filesystem Driver

A unikernel builder based on MUSL + LKL, designed to run any vanilla application inside an SGX enclave

High performance server-side application framework

run docker containers for different architectures

Ready-made packages of software for running on the Rumprun unikernel

neper is a Linux networking performance tool.

Run VMs on a Weave network