欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
MINIX 3
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
[[Image:logo_minix3.gif|right]] | [[Image:logo_minix3.gif|right]] | ||
| − | |||
| − | |||
==What Is MINIX 3== | ==What Is MINIX 3== | ||
| 第21行： | 第19行： | ||
[[Image:minix3_startx.jpg|thumb|left|Starting X]] [[Image:minix3_xterms.jpg|thumb|left|Xterms | [[Image:minix3_startx.jpg|thumb|left|Starting X]] [[Image:minix3_xterms.jpg|thumb|left|Xterms | ||
]] [[Image:minix3_photos.jpg|thumb|left|Viewing photos with xv]] | ]] [[Image:minix3_photos.jpg|thumb|left|Viewing photos with xv]] | ||
| + | ==Links== | ||
| + | *[http://www.minix3.org/ MINIX 3 Wetsite] | ||
| + | *http://docs.huihoo.com/minix3 | ||
2010年8月7日 (六) 01:38的版本
目录 |
What Is MINIX 3
MINIX 3 is a new open-source operating system designed to be highly reliable, flexible, and secure. It is loosely based somewhat on previous versions of MINIX, but is fundamentally different in many key ways. MINIX 1 and 2 were intended as teaching tools; MINIX 3 adds the new goal of being usable as a serious system on resource-limited and embedded computers and for applications requiring high reliability
Features
- POSIX compliant
- Networking with TCP/IP
- X Window System
- Languages: cc, gcc, g++, perl, python, etc.
- Over 400 UNIX programs
- Many improvements since V2
- Full multiuser and multiprogramming
- Device drivers run as user processes
- High degree of fault tolerance
- Full C source code supplied
Screen Shots
Links
分享您的观点
