欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Debian GNU/kFreeBSD
| 第4行： | 第4行： | ||
It should be noted that the ''k'' in ''kFreeBSD'' refers to the fact that only the kernel of the FreeBSD operating system is used. Since FreeBSD is its own complete operating system, it is important to indicate that the kernel itself is not its own separate entity. | It should be noted that the ''k'' in ''kFreeBSD'' refers to the fact that only the kernel of the FreeBSD operating system is used. Since FreeBSD is its own complete operating system, it is important to indicate that the kernel itself is not its own separate entity. | ||
| − | + | [[Image:ging_0_1_0_rc1.png|right|thumb|ging-0.1.0]] | |
[http://glibc-bsd.alioth.debian.org/ging/ Ging] is a Live system that you can burn on a CD. It is based on Debian GNU/kFreeBSD (which, as its time, is based on Debian, GNU and the kernel of FreeBSD). | [http://glibc-bsd.alioth.debian.org/ging/ Ging] is a Live system that you can burn on a CD. It is based on Debian GNU/kFreeBSD (which, as its time, is based on Debian, GNU and the kernel of FreeBSD). | ||
2008年2月24日 (日) 01:24的版本
Debian GNU/kFreeBSD is an operating system released by the Debian project for i486-compatible computer architectures. It is a distribution of the GNU operating system with Debian package management and the kernel of FreeBSD, unlike most other GNU variants that are shipped with the Linux kernel.
The Debian GNU/kFreeBSD base system is fully functional, but there still a few major bugs that need to be fixed and packages that need to be ported to the system. Therefore, no official release of the operating system has been made.
It should be noted that the k in kFreeBSD refers to the fact that only the kernel of the FreeBSD operating system is used. Since FreeBSD is its own complete operating system, it is important to indicate that the kernel itself is not its own separate entity.
Ging is a Live system that you can burn on a CD. It is based on Debian GNU/kFreeBSD (which, as its time, is based on Debian, GNU and the kernel of FreeBSD).
See also
External links
- Debian GNU/kFreeBSD
- [GNU/kFreeBSD IRC chatroom on FreeNode irc://chat.freenode.net/#gnu-kbsd]
