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
The main development repository for the Utah A3 VMI work.
A Linux kernel extended with Lighweight Capability Domains
Evaluating Networked Systems class, developed at the University of Utah by Robert Ricci
Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)
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.
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
libvirt-1.2.2 for consistent distributed snapshot
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
Lab Assignment #1
This is the repository for my final project of CS 6963, which is to reproduce the results of mTCP.
Modified version of grub2 that we use for "grub2pxe", aka "the Linux MFS version of pxeboot".
'grub2-source' branch is the unmodified 'vendor' branch.