欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Mach
来自开放百科 - 灰狐
（版本间的差异）
| 第1行： | 第1行： | ||
| + | Mac OS X的核心是基于Mach的[[Darwin]]. | ||
| + | |||
==相关链接== | ==相关链接== | ||
*Mach 3.0 Sources - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/sources/sources_top.html | *Mach 3.0 Sources - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/sources/sources_top.html | ||
2008年2月16日 (六) 09:47的版本
Mac OS X的核心是基于Mach的Darwin.
相关链接
- Mach 3.0 Sources - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/sources/sources_top.html
- Mach - http://www.cs.cmu.edu/afs/cs/project/mach/public/www/mach.html
- The Mach 4 Project - http://www.cs.utah.edu/flux/mach4/html/Mach4-proj.html
- GNU Mach - http://www.gnu.org/software/hurd/gnumach.html
分享您的观点
