Explore projects

C-Reduce, a C program reducer http://embed.cs.utah.edu/creduce/

Code used to run www.flux.utah.edu, forked from code by the LASR group at UT Austin

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.