A capability management library which can be used across different systems.
Capability Networking -- an OpenMUL, openflow-based switch controller, a capability protocol, and tools to build capability networks.
Modified version of grub2 that we use for "grub2pxe", aka "the Linux MFS version of pxeboot".
'grub2-source' branch is the unmodified 'vendor' branch.
Module and static lib build for the thc async code.
Clone of OVS plus Binh's changes
libvirt-1.2.2 for consistent distributed snapshot
This is a mirror of https://gitlab.eurecom.fr/oai/asn1c
This is the repository for my final project of CS 6963, which is to reproduce the results of mTCP.