Early experience with the Barrelfish OS and the Single-Chip Cloud Computer