Pātuhitia tēnei: Distributed operating systems