欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MINIX 3
来自开放百科 - 灰狐
(版本间的差异)
(→Screen Shots) |
|||
第19行: | 第19行: | ||
==Screen Shots== | ==Screen Shots== | ||
− | + | <gallery perrow=6> | |
− | + | Image:minix3_startx.jpg|Starting X | |
+ | Image:minix3_xterms.jpg|Xterms | ||
+ | Image:minix3_photos.jpg|Viewing photos with xv | ||
+ | </gallery> | ||
+ | |||
==Links== | ==Links== | ||
*[http://www.minix3.org/ MINIX 3 Wetsite] | *[http://www.minix3.org/ MINIX 3 Wetsite] |
2010年8月22日 (日) 02:42的版本
目录 |
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
分享您的观点