Arrakis has been fully merged back with Barrelfish. All current and future releases are maintained on the Barrelfish website.