欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
MINIX 3
来自开放百科 - 灰狐
(版本间的差异)
(→What Is MINIX 3) |
|||
第24行: | 第24行: | ||
*[http://www.minix3.org/ MINIX 3 Wetsite] | *[http://www.minix3.org/ MINIX 3 Wetsite] | ||
*http://docs.huihoo.com/minix3 | *http://docs.huihoo.com/minix3 | ||
+ | |||
+ | [[Category:Operating System]] | ||
+ | [[Category:POSIX]] |
2010年8月16日 (一) 07:47的版本
目录 |
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
分享您的观点