Your message dated Sat, 12 Mar 2011 11:39:34 +0100 with message-id <20110312103934.GC1433@kasbah> and subject line Re: Improvements to the "Ports" page: non-linux & arm stuff has caused the Debian Bug report #615938, regarding Improvements to the "Ports" page: non-linux & arm stuff to be marked as done. This means that you claim that the problem has been dealt with. If this is not the case it is now your responsibility to reopen the Bug report if necessary, and/or fix the problem forthwith. (NB: If you are a system administrator and have no idea what this message is talking about, this may indicate a serious mail system misconfiguration somewhere. Please contact owner@bugs.debian.org immediately.) -- 615938: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=615938 Debian Bug Tracking System Contact owner@bugs.debian.org with problems
--- Begin Message ---
- To: submit@bugs.debian.org
- Subject: Improvements to the "Ports" page: non-linux & arm stuff
- From: Adrian von Bidder <avbidder@fortytwo.ch>
- Date: Tue, 1 Mar 2011 08:38:45 +0100
- Message-id: <[🔎] 201103010838.48511@fortytwo.ch>
Package: www.debian.org Tags: patch Hi, I've noticed a few issues with www.d.o/ports (these are orthogonal to the stuff discussed in #611830): * Non-Linux ports: now that kFreeBSD is released, the "non-Linux" title probably should just be dropped, since "non-Linux" is not really just a sub- category of "unreleased" anymore. +++ diff --git a/webwml/english/ports/index.wml b/webwml/english/ports/index.wml --- a/webwml/english/ports/index.wml +++ b/webwml/english/ports/index.wml @@ -5,7 +5,6 @@ <li><a href="#intro">Introduction</a></li> <li><a href="#released">Released ports</a></li> <li><a href="#unreleased">Ports that haven't been released yet</a></li> - <li><a href="#nonlinux">Non-Linux ports</a></li> <li><a href="#various">Various port-like projects</a></li> </ul> @@ -30,9 +29,9 @@ </p> <p> Debian is an operating system (OS), not a kernel (actually, it is more - than an OS since it includes thousands of application programs). To - prove this, we have our first three fledgling non-Linux based ports, listed - <a href="#nonlinux">at the bottom of this page</a>. + than an OS since it includes thousands of application programs). Accordingly, + while most Debian ports are based on Linux, there also are ports based on the + FreeBSD, NetBSD and Hurd kernels. </p> <p> <em>Warning</em> — this is a page in progress. Not all ports have @@ -176,8 +175,6 @@ Port to Atmel's 32-bit RISC architecture, AVR32. </p> -<h2 id="nonlinux">Non-Linux ports</h2> - <h3><a href="hurd/">Debian GNU/Hurd (<q>hurd-i386</q>)</a></h3> <p> The GNU Hurd is a totally new operating system being put together by +++ * The ARM EABI port is actually what armel is, so: +++ diff --git a/webwml/english/ports/index.wml b/webwml/english/ports/index.wml --- a/webwml/english/ports/index.wml +++ b/webwml/english/ports/index.wml @@ -208,14 +208,6 @@ <a href="http://www.catb.org/~esr/writings/cathedral-bazaar/">bazaar</a> fashion. </p> -<h3><a href="http://wiki.debian.org/ArmEabiPort">ARM EABI Port</a></h3> -<p> - EABI is the new <q>Embedded</q> <acronym lang="en" - title="Application Binary Interface">ABI</acronym> by <a - href="http://arm.com/">ARM Ltd.</a>. - EABI is actually a family of ABIs and one of the <q>subABIs</q> is GNU EABI for Linux. -</p> - <hr /> <p><strong>Disclaimer:</strong> Many of the above computer and processor +++ * armhf is not mentioned yet: +++ diff --git a/webwml/english/ports/index.wml b/webwml/english/ports/index.wml --- a/webwml/english/ports/index.wml +++ b/webwml/english/ports/index.wml @@ -93,7 +93,8 @@ First officially released with Debian 2.2. This port runs on a variety of embedded hardware, including the NSLU2. Armel is the more efficient successor for the <q>arm</q> port, which is - compatible with the ARM EABI. + compatible with the ARM EABI. These ports target machines with ARMv4 based CPU + and without a floating point unit. </p> <h3><a href="mips/">MIPS CPUs (<q>mips</q> and <q>mipsel</q>)</a></h3> @@ -160,6 +161,15 @@ A fairly new port to Hitachi SuperH processors. </p> +<h3><a href="http://wiki.debian.org/ArmHardFloatPort">armhf</a></h3> +<p> + A lot of modern ARM boards and devices ship with a floating-point unit (FPU), + but the current Debian armel port doesn't take much advantage of it. The armhf + port was started to improve this situation and also take advantage of other + features of newer ARM CPUs. The Debian armhf port requires at least an ARMv7 + CPU with Thumb2 and VFP3D16. +</p> + <h3><a href="http://www.debonaras.org/">armeb</a></h3> <p> Port to big-endian ARM machines, especially to Linksys NSLU2. +++ * NOTE (and no patch): arm/armel mentiones that the NSLU2 is supported, armeb mentiones that same machine (implying perhaps that NSLU2 was not supported by regular arm ports at some time?) I have no idea what the status of armeb is - the web page is still up, though doesn't look very nice and points to something apparently sarge based. Clarification would be nice. cheers -- vbi -- featured product: SpamAssassin - http://spamassassin.orgAttachment: signature.asc
Description: This is a digitally signed message part.
--- End Message ---
--- Begin Message ---
- To: 615938-done@bugs.debian.org
- Subject: Re: Improvements to the "Ports" page: non-linux & arm stuff
- From: Francesca Ciceri <madamezou@yahoo.it>
- Date: Sat, 12 Mar 2011 11:39:34 +0100
- Message-id: <20110312103934.GC1433@kasbah>
- Reply-to: Francesca Ciceri <madamezou@yahoo.it>
Hi, I've committed right now the patch provided by Adrian, it will be visible in few hours. Let me say thank you all, and especially Adrian, for this patch: often ports' pages are rather outdated and, while it is difficult keep them up-to-date if you're not involved into the port itself, they are definetely the first source of information for the user. So your work on this bug was, IMO, even more valuable :) Cheers, FrancescaAttachment: signature.asc
Description: Digital signature
--- End Message ---