欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
MINIX 3
来自开放百科 - 灰狐
![]() |
您可以在Wikipedia上了解到此条目的英文信息 MINIX 3 Thanks, Wikipedia. |
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
功能
- 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
指南
项目
文档
图集
链接
分享您的观点