Hi, We have been considering getting a real system for running barrelfish on. Could you tell us the configurations and setup you are using at ETH and MSR? Cheers, Georgios Varisteas