欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Operating system
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
|||
| （未显示1个用户的17个中间版本） | |||
| 第1行： | 第1行： | ||
[[Image:Linux.gif|right]] | [[Image:Linux.gif|right]] | ||
| + | {{SeeWikipedia}} | ||
操作系统 - 计算工业的基础 | 操作系统 - 计算工业的基础 | ||
| 第5行： | 第6行： | ||
客户端和企业应用三大主流平台: [[Image:windows-os.gif]] [[Image:mac-os.gif]] [[Image:linux-os.gif]] | 客户端和企业应用三大主流平台: [[Image:windows-os.gif]] [[Image:mac-os.gif]] [[Image:linux-os.gif]] | ||
| − | + | ||
| − | + | ==核心== | |
| − | + | ||
| − | + | ||
| − | == | + | |
*[[Linux Kernel]] | *[[Linux Kernel]] | ||
*[[L4]] | *[[L4]] | ||
*[[Mach]] | *[[Mach]] | ||
| − | == | + | |
| + | ==图书== | ||
| + | *[https://csc-knu.github.io/sys-prog/books/ Operating Systems Design and Implementation Third Edition] | ||
| + | *[http://book.huihoo.com/operating-systems-three-easy-pieces/ 《Operating Systems: Three Easy Pieces》] | ||
| + | *[https://www.oreilly.com/library/view/design-and-implementation/9780133761825/ The Design and Implementation of the FreeBSD Operating System Second Edition] | ||
| + | *[https://docs.huihoo.com/os/Operating-Systems-Design-and-Implementation-Second-Edition-zh-CN.pdf 操作系统设计与实现（第二版）] | ||
| + | |||
| + | ==项目== | ||
| + | [[文件:MINIX3.jpg|right|MINIX 3]] | ||
*[[Debian]] | *[[Debian]] | ||
| + | *[[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://pureos.net/ PureOS] | ||
*[[ReactOS]] | *[[ReactOS]] | ||
*[[Bochs]] | *[[Bochs]] | ||
| 第20行： | 第30行： | ||
*[[JNode]] | *[[JNode]] | ||
*使用[[VirtualBox]] 将Linux, FreeBSD, OpenBSD, NetBSD, Solaris 装在同一机器上. | *使用[[VirtualBox]] 将Linux, FreeBSD, OpenBSD, NetBSD, Solaris 装在同一机器上. | ||
| + | *[[R System]] | ||
| + | *[[Plan 9 from Bell Labs]] MIT License. | ||
| + | *[https://www.haiku-os.org/ Haiku] [[C++]] 开发的开源（MIT）桌面操作系统 | ||
| + | |||
| + | ==图集== | ||
| + | <gallery> | ||
| + | image:qubes-trust-level-architecture.png|Qubes OS | ||
| + | </gallery> | ||
| + | |||
| + | ==链接== | ||
| + | *http://www.gnu.org/links/links.html | ||
| + | *http://www.osnews.com/ | ||
| + | *http://www.google.com/Top/Computers/Software/Operating_Systems/ | ||
| + | *[https://www.gitbook.com/book/samypesse/how-to-create-an-operating-system How to Make a Computer Operating System] | ||
| − | [[ | + | [[category:operating system]] |
| + | [[category:computer science]] | ||
2022年8月9日 (二) 10:30的最后版本
|
您可以在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
- Plan 9 from Bell Labs MIT License.
- Haiku C++ 开发的开源（MIT）桌面操作系统
[编辑] 图集
Qubes OS
[编辑] 链接
分享您的观点
