欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Freedom OS
来自开放百科 - 灰狐
Freedom OS : 缩写为FDOS
Freedom 的OS很多,在这里是指 FreeBSD + Debian + OpenSolaris, 它们代表着BSD, GNU/Linux, UNIX三大系统的三个主流。
其实FreeBSD,Debian,OpenSolaris能很好的工作在一起, 它们并不竞争, 将它们放在一起是为了更好的使用它们, 不用陷入选择的烦劳。是让这个计算世界有更多的和谐与统一, 让它们一起组成庞大的计算基础设施, 一片五彩的"云" ("云"是由一台台计算机组成的超大规模集群,用来存储和处理对传统计算机来说过于庞大的海量数据。"云计算"的发展类似人类用电的演变过程: 企业关闭自己的发电机, 取而代之购买电力。目前也只有Google, Yahoo, Microsoft, IBM, Amazon 五家公司由实力将"电流"转化成数据计算能力。它们在"云计算"领域占据着主导地位)。
让这些系统可以共用和共享一些好的软件设施,如共用Debian包系统, 共享OpenSolaris的ZFS, DTrace等等。
以下一些项目正在做着类似的尝试:
- Nexenta项目使OpenSolaris能方便的使用Debian包. 若能为这三个操作系统维护一套完整、统一的应用包那将是一件非常令人开心的事情。
- Debian GNU/kFreeBSD is a port that consists of GNU userland using the GNU C library on top of FreeBSD's kernel, coupled with the regular Debian package set.Ging is a Live system that you can burn on a CD. It is based on Debian GNU/kFreeBSD
FreeRTOS Real Time Kernel for embedded system.
Links
分享您的观点