Ricardo Koller's repositories
ocaml-toy-vmm
Tiny toy KVM-based-VMM written in OCaml and capable of starting Linux (bzimage + serial console).
lmbench-alpine
lmbench 3 (from sourceforge/lmbench) with a slightly modified Makefile to build on alpine
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
cloud-hypervisor
A rust-vmm based cloud hypervisor
gmp-freestanding-pic
PIC (position independent) version gmp-freestanding for MirageOS
incubator-openwhisk-runtime-nodejs
Apache openwhisk nodejs runtime
libfuse
The reference implementation of the Linux FUSE (Filesystem in Userspace) interface
linux
Linux kernel source tree
nabla-base-build
Building of Nabla base Docker images
nabla-containers.github.io
Nabla Containers blog
nabla-measurements
Measurements and comparisons of nabla containers
ocaml-fat
Read and write FAT format filesystems from OCaml
ocaml-freestanding
Freestanding OCaml runtime
rump-solo5
Rumprun on the solo5 interface (experimental)
rumprun
The Rumprun unikernel and toolchain for various platforms
rumprun-packages
Ready-made packages of software for running on the Rumprun unikernel
src-netbsd
Mirror of NetBSD sources useful with rump kernels
webrepl
Serve a repl for a node process via a simple web console