MRC2 - Resilient cloud computing

MRC2 is a joint research project between SRI International's
Computer Science Laboratory and the University of Cambridge Computer
Laboratory, supported by DARPA.

Within Cambridge, this work is split between the Computer
Architecture Group, the Security group and
the SRG NetOS group. This
project builds on
the CTSRD
project by extending the techniques to multiprocessors and
multirack systems, and adds many networking components.

One of the things we've built as part of this project is a box
containing seven FPGA-based servers built around the CHERI
processor. This is setup to allow software developers to ssh into
the system to test capability aware software.