Explore projects

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

A Linux kernel extended with Lighweight Capability Domains

CloudVMI allows virtual-machine introspection (VMI) to be offered as a cloud service by a cloud provider to cloud customers.

Code for kernel and hardware benchmark experiments

openmul for capnet

Git version of hg repo http://hg-public.flux.utah.edu/hgweb.cgi/a3/xen-cap/

Local fork of OpenLTE (http://openlte.sourceforge.net/). Contains various PhantomNet integration patches.

Open Air Interface Core Network code, with PhantomNet-specific changes.

Open Air Interface 5G Code, with modifications for PhantomNet.

IDL (interface definition language) compiler for LCDs

Stable branch of the Emulab source code