欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
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
指南
项目
文档
- [docs.huihoo.com/os/Operating-Systems-Design-and-Implementation-Second-Edition-zh-CN.pdf 操作系统设计与实现(第二版)]
图集
链接
分享您的观点