A Linux kernel extended with Lighweight Capability Domains
Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci
A basic implementation of the knowledge graph as laid out in the naga paper.
CloudVMI allows virtual-machine introspection (VMI) to be offered as a cloud service by a cloud provider to cloud customers.
A set of kernel and hardware benchmarks, e.g., cost of transferring a cache line across the cores
Code for kernel and hardware benchmark experiments
openmul for capnet
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
Git version of hg repo http://hg-public.flux.utah.edu/hgweb.cgi/a3/xen-cap/
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
IDL (interface definition language) compiler for LCDs
Fork of grub2 with TPM support. Described in the paper "Trusted Disk Loading in the Emulab Network Testbed" by Cutler et al.: http://www.flux.utah.edu/paper/cutler-cset10
A simple JWT server from https://github.com/cesanta/docker_auth, for providing token auth service to a Docker registry; but with Emulab authorization/authentication backend support.
Repository for benchmark sources and scripts to be run on CloudLab machines.
This repository contains deb/rpm DKMS package wrappers for some out-of-tree Linux kernel drivers.