connect Aquarium 2 to Barrelfish directly using the ssh invocation below.
\begin{code}
-ssh -L 6666:<IP of Barrelfish machine>:6666 <ssh-machine>
+ssh -L 6666:\textless IP of Barrelfish machine\textgreater:6666 \textless ssh-machine\textgreater
\end{code}
\chapter{Performance Analysis}