Hi all, We pushed some updates to hg.barrelfish.org. Most of the changes deal with improving the posixcompat socket API, but there are a couple of bug-fixes as well. Currently, we are working on improving ARM support for barrelfish, so you can expect updates in that area in the near future. cheers, Kornilios. -- Kornilios Kourtis