* DennisAndVanHorn Supervisor * HydraOs * CapOs (The Cambridge "CAP" OS) * MachMicrokernel * GrassHopper * PsosOs * KeyKos * ErosOs * CoyotOs ---- CategorySecurity, ObjectCapabilityModel, OperatingSystem, CategoryOperatingSystem