* DennisAndVanHorn Supervisor
	* HydraOs
	* CapOs (The Cambridge "CAP" OS)
	* MachMicrokernel
	* GrassHopper
	* PsosOs
	* KeyKos
	* ErosOs
	* CoyotOs

----
CategorySecurity, ObjectCapabilityModel, OperatingSystem, CategoryOperatingSystem