Barrelfish considers the whole OS as more of a distributed system. “Rather than evolving an inherently shared-memory model of OS structure to deal with complex tradeoffs and limited sharing, ...