欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Operating system
来自开放百科 - 灰狐
（版本间的差异）
小 (→图书) |
小 (→项目) |
||
| 第22行： | 第22行： | ||
*[[Debian]] | *[[Debian]] | ||
*[[MINIX 3]] | *[[MINIX 3]] | ||
| + | *[https://xinu.cs.purdue.edu/ XINU] stands for Xinu Is Not Unix | ||
*[https://os.inf.tu-dresden.de/L4/LinuxOnL4/index.shtml L4Linux] Running Linux on top of [[L4 microkernel family|L4]] | *[https://os.inf.tu-dresden.de/L4/LinuxOnL4/index.shtml L4Linux] Running Linux on top of [[L4 microkernel family|L4]] | ||
*[https://pureos.net/ PureOS] | *[https://pureos.net/ PureOS] | ||
2022年5月7日 (六) 09:23的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Operating system Thanks, Wikipedia. |
操作系统 - 计算工业的基础
客户端和企业应用三大主流平台: 
目录 |
核心
图书
- Operating Systems Design and Implementation Third Edition
- 《Operating Systems: Three Easy Pieces》
- The Design and Implementation of the FreeBSD Operating System Second Edition
- 操作系统设计与实现（第二版）
项目
- Debian
- MINIX 3
- XINU stands for Xinu Is Not Unix
- L4Linux Running Linux on top of L4
- PureOS
- ReactOS
- Bochs
- GNU/Fiwix
- JNode
- 使用VirtualBox 将Linux, FreeBSD, OpenBSD, NetBSD, Solaris 装在同一机器上.
- R System
图集
Qubes OS
链接
分享您的观点
