djwillia Goto Github PK

asm0x40

cloud-hypervisor

A rust-vmm based cloud hypervisor

djwillia.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

docker-unikernel-runner

Provides a platform to experiment with using Docker to build, distribute and run unikernels.

dockerfiles

dockerfiles

firecracker

Secure and fast microVMs for serverless computing.

genext2hack

linux

Linux kernel source tree

lupine-linux

Linux in Unikernel Clothes

mirage

MirageOS is a library operating system that constructs unikernels

mirage-skeleton

Build skeleton and examples of simple Mirage apps

mirage-www

Website infrastructure for mirage.io

nabla-base-build

Building of Nabla base Docker images

nabla-containers.github.io

Nabla Containers blog

nabla-demo-apps

Containerized applications for demonstrating nabla containers

nabla-measurements

Measurements and comparisons of nabla containers

ocaml

The core OCaml system: compilers, runtime system, base libraries

ocaml-freestanding

Freestanding OCaml runtime

opam-gmp-mac

an opam repository for gmp-freestanding on mac

openlibm

High quality system independent, portable, open source libm implementation

rumprun

The Rumprun unikernel and toolchain for various platforms

rumprun-1

"Temporary" fork of rumprun (http://github.com/rumpkernel/rumprun) that includes a solo5 backend

rumprun-packages

"Temporary" fork of rumprun-packages (http://github.com/rumpkernel/rumprun-packages) that includes Makefile targets for solo5

runnc

OCI-interfacing Container runtime for Nabla Containers

solo5

The Solo5 unikernel

solo5-1

Temporary fork of solo5 (http://github.com/Solo5/solo5) that includes a Linux-seccomp backend

syzkaller

syzkaller is an unsupervised, coverage-guided kernel fuzzer

trinity

Linux system call fuzzer

xv6-riscv

Xv6 for RISC-V