A Distributed Operating System for Object-Based Machines