Articles tagged ‘hardware’ OS4000: An Old, Fast, Micro-kernel-ish Operating System 2022-04-06 A system from the 1970s with micro-kernel characteristics was fast