The purpose of this page is to demonstrate that kfreebsd-i386 meets the [http://ftp-master.debian.org/archive-criteria.html archive criteria].

Requirements for architectures

Is port cursed?


Are machines available to general public?

The architecture is publicly available without NDAs via:

  1. http://www.ibm.com/

  2. http://www.hp.com/

  3. http://www.dell.com/

  4. etc ad nauseam

Is full source available?

Source of the whole port is available. Most of the packages use the same sources as the official Debian ports. A few packages that need to be patched are in a separate repository called unreleased until Debian maintainers merge the patches. Sources of those packages are also available ==

Are there 3 or more developers (or n-ms) actively maintaining the port? Who are they?

The port is maintained by the following developers, who are familiar with arch-specific issues for this port:

  1. Robert Millan
  2. GuillemJover (Debian Developer)

  3. Aurelien Jarno (Debian Developer)
  4. Petr Salinger

What sort of architecture is this? Desktop/workstation? Mainframe/supercomputer? Embedded? Something else?


Does it have any users? If a desktop system, are there Debian admins who run Debian systems on the arch? If an embedded system are there real systems shipping that a Debian port will be useful for? If a mainframe system are there real systems with many users that a Debian port will be useful for? Who are they?

== Is there kernel and toolchain support? At what level? Are the latest versions supported, or are legacy releases required for compatability with some hardware? Has the ABI stabalised, or are there major ABI changes coming up? Is the ABI stable enough to ensure users will be able just apt-get dist-upgrade from one version to the next? ==

How do you install a system? (URL to a HOWTO)

Has a buildd been setup? How much of the archive has been built (count by source package, builds of old versions are fine for this case)?

Two buildds (for redundancy) are running for 6 months. Currently 76,8% of the sources packages have been built. [http://unstable.buildd.net/buildd/kfreebsd-i386_stats.html Up to date value]

What hardware is potentially available as a fast buildd?

Currently the two buildds (an Athlon XP1800+ / 512MB RAM and a Sempron 2500+ / 512MB RAM) are building package during 15% of the time for each.

If you have a lot of money, yes you can have faster hardware buy a Pentium Extreme Edition 955, or an Athlon 64 X2 4800+. You can even use a multi-processor Intel Xeon system or a multi-processor AMD Opteron system.

Is there any corporate support of this arch, and the Debian port in particular?

The following companies are providing corporate support for this architecture:

  1. http://www.ibm.com/

  2. http://www.hp.com/

  3. http://www.dell.com/

Currently no companies provide corporate support for GNU/kFreeBSD.

Is there an example box developers can login to to see if it works?

The following machines are available to developers:

  1. io.debian.net - maintained by Aurelien Jarno and Gürkan Sengün, connectivity by ETH Zürich, Department of Physics. [http://io.debian.net/ssh.html How to access it for Debian developers]

  2. friki.frikazos.com - maintained by Hector Garcia (access on request).

Further requirements for OSes

Are there existing comprehensive free distributions of this OS? If so, why is a Debian distribution useful?

What demonstrable benefits does this OS have over existing Debian OSes?

Does this system have a standard Unix API?

Does the OS support modern glibc and gcc?

What is the license on the kernel and libraries? Is it free? Is it GPL compatible? (Note that if it's not free, building software for it violates the Social Contract; and if it's not GPL compatible, GPL software such as dpkg can't be linked to it)

Does the OS build largely without source changes? If so, what proportion of the archive has built?