欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Debian GNU/kFreeBSD
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
- http://glibc-bsd.alioth.debian.org
- [GNU/kFreeBSD IRC chatroom on FreeNode irc://chat.freenode.net/#gnu-kbsd]
- http://download.huihoo.com/kfreebsd/
- http://docs.huihoo.com/kfreebsd/