Explore projects

Modified version of grub2 that we use for "grub2pxe", aka "the Linux MFS version of pxeboot". 'grub2-source' branch is the unmodified 'vendor' branch.

This is a mirror of https://gitlab.eurecom.fr/oai/asn1c

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

Module and static lib build for the thc async code.

Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.

Clone of OVS plus Binh's changes

libvirt-1.2.2 for consistent distributed snapshot

This is the repository for my final project of CS 6963, which is to reproduce the results of mTCP.