Explore projects

IDL (interface definition language) compiler for LCDs

A capability management library which can be used across different systems.

Module and static lib build for the thc async code.

An Erlang wrapper around rmr

This repository contains deb/rpm DKMS package wrappers for some out-of-tree Linux kernel drivers.

A Linux kernel extended with Lighweight Capability Domains

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)

Repository for benchmark sources and scripts to be run on CloudLab machines.

Repository for benchmark sources and scripts to be run on CloudLab machines.

Source for the CloudLab and Apt manuals (docs.cloudlab.us and docs.aptlab.net)