Tinix

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Tinix" – news · newspapers · books · scholar · JSTOR (August 2021) (Learn how and when to remove this message)

|

Operating system

Tinix

Developer| Yu Yuan
OS family| Unix-like
Working state| Current
Source model| Source-available
Initial release| 2006; 19 years ago (2006)
Marketing target| Education
Available in| Chinese
Update method| Compile from source code
Platforms| IA-32, x86-64
Kernel type| Microkernel

Tinix (Try It as miNIX-like operating system), is a tutorial operating system (OS) written by Yu Yuan. Designed primarily to teach fundamentals rather than to do work. In his book "Writing OS DIY", Yu provides all source code for Tinix.[1] Tinix borrows many concepts and methods from Minix. The book compensates for practical computer programming skills, especially in x86 assembly language, lacking in Andrew S. Tanenbaum's book "Operating Systems: Design and Implementation", 1987, 1997, 2006.[2]

## References

[edit]

1. ^ Yuan, Yu (2006). Writing OS DIY (in Chinese). Beijing: Publishing House of Electronics Industry.
2. ^ Tanenbaum, Andrew S.; Woodhull, Albert S. (1987–2006). Operating systems: design and implementation. Upper Saddle River, New Jersey: Pearson Prentice Hall. ISBN 978-0-13-142938-3.

* v
* t
* e

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^°

Capability-based|

* GNOSIS → KeyKOS → EROS → CapROS
* Hydra
* seL4^°
* Midori
* NLTSS
* HarmonyOS NEXT (OpenHarmony, Oniro OS) → HarmonyOS

L4 kernel|

* L4Linux^°
* PikeOS^
* REX OS^
* Wombat^°

Java virtual machine|

* JavaOS (Chorus/Jazz^ integrates ChorusOS^)
* JX°

Macintosh hosted|

| Unix-like|

* MachTen
* MacMach

|

* Copland
* Classic Mac OS (PowerPC kernel)

Psion|

* EPOC → Symbian OS^°

Amiga-type|

* AmigaOS
* AROS°
* AspireOS°
* Broadway°
* Icaros Desktop°
* MorphOS

Microsoft|

* Singularity
* ThreadX^°
* Verve

AIM alliance|

* Pink → Taligent OS → Workplace OS

* Amoeba°
* BeRTOS^°
* ChibiOS/RT^°
* FreeRTOS^°
* HelenOS°
* µC/OS^°
* MQX^
* OpenComRTOS^
* Phantom OS^°
* RC 4000
* SharpOS°
* SPIN°
* Thoth^ → Harmony^ → V
* VRTX^

Frameworks, kits|

* Cosmos°
* Genode°
* TI-RTOS^°

Developers|

* Gordon Bell
* Thomas Bushnell
* David Cheriton
* Dan Dodge
* Per Brinch Hansen
* Gernot Heiser
* Jochen Liedtke
* James G. Mitchell
* Ike Nassi
* Richard Rashid
* Andrew S. Tanenbaum
* Avie Tevanian
* William Wulf

* Italics = discontinued
* ^ = Real-time
* ° = Open-source software
Category: Microkernel-based operating systems Category: Microkernels

This operating-system-related article is a stub. You can help Wikipedia by expanding it.

|

* v
* t
* e

*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template