欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Mach
来自开放百科 - 灰狐
|
您可以在Wikipedia上了解到此条目的英文信息 Mach Thanks, Wikipedia. |
GNU Mach 是 Mach 的一个实现.
相关链接
- 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
<discussion>characters_max=300</discussion>
分享您的观点
