djs55/mirage-unikraft-experiments

Stars
3
Rank 3,963,521 (Top 79 %)
Language
Dockerfile
Created about 5 years ago
Updated about 5 years ago

djs55/mirage-unikraft-experiments

djs55

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Temporary experiments of Mirage + Unikraft

ocaml-sha

Ocaml SHA 1 and 2 family implementation using a really fast C implementation

ocaml-c3

OCaml bindings for the Javascript c3 charting library

ocaml-btree

A b-tree implementation for Mirage BLOCK devices

ocaml-spdy

Implementation of the SPDY protocol in ocaml

openflow-ocaml

Implementation of the openflow protocol in OCaml

message-switch

A simple store-and-forward message switch with an HTTP-based link layer.

ocaml-gpt

Manipulate GUID Partition Tables (GPT)

vhd-tool

Command-line tools for streaming and manipulating vhd format data

ocaml-vnc

A pure OCaml implementation of the RFB protocol as used in VNC

drbd-manager

Python library for controlling drbd instances

xen-disk

Command-line tool for attaching virtual disks to xen virtual machines

ocaml-fd-send-recv

Bindings which allow Unix.file_descrs to be sent and received over Unix domain sockets

desktop-reclaim-space

A simple tool to reclaim space inside the Docker Desktop VM

ocaml-libvirt

Clone of git://git.annexia.org/git/ocaml-libvirt.git

watchfs

Uses inotify recursively to watch a whole filesystem for changes

ocaml-wpcap

OCaml bindings for winpcap.dll

mirage-block-volume

A Linux LVM compatible logical volume manager for Mirage

iscsi-target-manager

Experimental service to provide a high-level (hopefully safe and easy) wrapper around tgtadm for iSCSI

ocaml-qmp

OCaml implementation of the Qemu Monitor Protocol (QMP)

ocaml-dyndns

OCaml client/server implementation of a common Dynamic DNS update protocol

ffs

A simple example storage manager for XCP which uses flat files

docker-desktop-example-kernel-module

This is an example showing how to build and insert a kernel module on Docker Desktop

hyperkit-high-cpu

An example of an idle VM inducing high CPU in hyperkit

ocaml-device-mapper

Experimental bindings of libdevicemapper using ctypes

hyperkit-measure-memory

Tools to examine hyperkit's memory usage over time

driver-domain-template

Scripts to build a simple driver domain template

ocaml-pcf

Pure OCaml PCF (X11 font file) parser

vchan-experiments

Experiments using libvchan

blog

xenopsd-previous

xen domain manager used in XCP

thin-cluster

Hypothetical simple clustered volume manager built on top of Linux dm-thin

vhddisk

An example Xen virtual disk server ("backend") which writes in .vhd format

ebpf-experiments

A few experiments with Linux eBPF

smtp-proxy

Experimental SMTP proxy

oud-2012

Materials for talk at OUD 2012

xe-unikernel-upload

A simple tool to upload a Unikernel to a XenServer pool

xapi-database

Xapi metadata layer built on top of Irmin (TM) [well eventually]

scripts

hyperkit-measure-time-drift

Simple tool to measure the time drift between a VM and the host

dave.recoil.org

personal website

udp

Simple UDP test client and server

forkexecd-forked

Single-threaded fork/exec service which supports fd passing

xen-api-datamodel

API call definitions, ocaml code generators

techmesh-2012

Slides given at techmesh talk in december 2012

stunnel

stunnel used in XCP