Early experience with the Barrelfish OS and the Single-Chip Cloud Computer - Peter, Schuepbach, Menzi, Roscoe .pdf