欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mach
来自开放百科 - 灰狐
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
分享您的观点
