On 11/04/12 19:16, Robert Millan wrote: > El 11 d’abril de 2012 14:26, Nicolas Barbier > <nicolas.barb...@gmail.com> ha escrit: >> What about using “kernel of FreeBSD” and indicating that the >> abbreviation for that is “kFreeBSD”? E.g.: >> >> “Debian can use either Linux or the kernel of FreeBSD (called >> kFreeBSD) at its core” > > I agree. However, the "called" makes it look like we're an > authoritative source (and officially, the kernel of FreeBSD doesn't > have a name of its own).
Or... maybe just skip the bracketed part, because the term is already introduced in the second half of the (rather long) sentence: "Debian can use the kernel of either Linux or FreeBSD at its core, but most of the basic OS tools come from the GNU project; hence the names Debian GNU/Linux or Debian GNU/kFreeBSD." Regards, -- Steven Chamberlain ste...@pyro.eu.org -- To UNSUBSCRIBE, email to debian-hurd-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/4f85ccca.4040...@pyro.eu.org