GNOSIS - Misplaced Pages

Operating system

GNOSIS
Developer	Tymshare (Norm Hardy, Bill Frantz, Charlie Landau) McDonnell Douglas
Written in	C
OS family	Capability-based
Working state	Discontinued
Initial release	1977; 48 years ago (1977)
Final release	Final / 1988; 37 years ago (1988)
Marketing target	Research
Available in	English
Update method	Compile from source code
Platforms	S/370 mainframe
Kernel type	Microkernel
Default user interface	Command-line interface
Succeeded by	KeyKOS, Extremely Reliable Operating System (EROS)
Official website	cap-lore.com/CapTheory/KK

Great New Operating System In the Sky (GNOSIS) is a capability-based operating system that was researched during the 1970s at Tymshare, Inc. It was based on the research of Norman Hardy, Dale E. Jordan, Bill Frantz, Charlie Landau, Jay Jonekait, et al. It provided a foundation for the development of future operating systems such as KeyKOS, EROS, CapROS, and Coyotos. In 1984, McDonnell Douglas acquired Tymshare, and a year later sold GNOSIS to Key Logic, where GNOSIS was renamed KeyKOS.

References

Hardy, Norman. "Roots of KeyKOS". Cap-lore.com.
Jordan, Dale E. (March 20, 1972). "GNOSIS Document". Cap-lore.com.
Frantz, Bill; Hardy, Norman; Jonekait, Jay; Landau, Charlie (1979). "GNOSIS: A Prototype Operating System for the 1990s". University of Pennsylvania: Computer and Information Science. Archived from the original on December 5, 2009.
"Gnosis (manual)". University of Pennsylvania: Computer and Information Science. Archived from the original on January 18, 2010.

External links

Official website, Norman Hardy

v t e Object-capability security
Concepts	Principle of least privilege (PoLP) Confused deputy problem Ambient authority File descriptor C-list Object-capability model Capability-based security Capability-based addressing Zooko's triangle Petnames
Operating systems, kernels	Capsicum Fuchsia Genode GNOSIS → KeyKOS → EROS → CapROS Hydra iMAX 432 Midori NLTSS seL4 HarmonyOS (HarmonyOS NEXT) Phantom OS
Programming languages	Cajita E Joe-E Joule
File systems	Tahoe-LAFS
Specialised hardware	BiiN Cambridge CAP Flex IBM System/38 Intel iAPX 432 Plessey System 250

Microkernels-nanokernels

Kernels

L4 family	Eumel → L3 → L4° OKL4°
Macintosh hosted	Mac OS nanokernel NuKernel
Psion	EKA1 → EKA2^°
Amiga-type	Exec ExecSG Quark WarpOS

ADEOS°
EROS^°
K42°
Little Kernel
Mach°
- GNU Mach°
MicroEmpix
µ-velOSity^
nucleus
Off++ → Plan B
Opus
PowerUP
RTLinux°
TI-RTOS kernel^°
Vanguard

Operating
systems

POSIX support

Unix-like	ARX GNU Hurd° Lites MeikOS Minix° Minix-vmd° Minix 3° MkLinux° Multi-Environment Real-Time^ (MERT – Unix-RT) OS2000 QNX^ Redox° Spring Tinix UNICOS VSTa
Partial	ChorusOS^ Integrity^ Nucleus RTOS^ NuttX^° OSE^ RIOT^°