Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread David Given
Mike Thompson wrote: I am potentially interested in creating/maintaining a Debian port that would mirror the work being done in armhf, but with the port tuned to the specifics of the Raspberry Pi hardware which I believe is ARMv6+VFPv2. Does Debian armhf still target ARMv7 and above? I can't

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Wookey
+++ David Given [2012-03-07 11:13 +]: Mike Thompson wrote: I am potentially interested in creating/maintaining a Debian port that would mirror the work being done in armhf, but with the port tuned to the specifics of the Raspberry Pi hardware which I believe is ARMv6+VFPv2. Does

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Wookey
+++ Mike Thompson [2012-03-06 18:22 -0800]: I am potentially interested in creating/maintaining a Debian port that would mirror the work being done in armhf, but with the port tuned to the specifics of the Raspberry Pi hardware which I believe is ARMv6+VFPv2. The goal would be a Debian

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Lennart Sorensen
On Tue, Mar 06, 2012 at 06:22:38PM -0800, Mike Thompson wrote: I am potentially interested in creating/maintaining a Debian port that would mirror the work being done in armhf, but with the port tuned to the specifics of the Raspberry Pi hardware which I believe is ARMv6+VFPv2. The goal would

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Oliver Grawert
hi, On Wed, 7 Mar 2012 11:46:13 + Wookey woo...@wookware.org wrote: Ubuntu: * “armel” (v7, Thumb 2, EABI soft-float) still going, will ship in Precise (12.04), maybe with LTS? * “armhf” (v7, Thumb 2, EABI hard-float) mostly there, minor issues remaining will ship in

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Steve McIntyre
On Wed, Mar 07, 2012 at 04:25:52PM +0100, Oliver Grawert wrote: hi, On Wed, 7 Mar 2012 11:46:13 + Wookey woo...@wookware.org wrote: Ubuntu: * “armel” (v7, Thumb 2, EABI soft-float) still going, will ship in Precise (12.04), maybe with LTS? * “armhf” (v7, Thumb 2, EABI hard-float)

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Mike Thompson
On Wed, Mar 7, 2012 at 3:13 AM, David Given d...@cowlark.com wrote: Does Debian armhf still target ARMv7 and above? I can't find any definitive statement. I know that Ubuntu *does* target ARMv7+, which means that it won't work on the Pi (and Canonical have stated that they have no interest in

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Mike Thompson
Wookey, thank you for the very detailed response. On Wed, Mar 7, 2012 at 3:39 AM, Wookey woo...@wookware.org wrote: As you presumably know we already have 2 arm parts. The armhf arm v7+VFP3 (using FP registers in calling convention and thumb2 instructions) and the armel v4t (using softfp FP

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Loïc Minier
On Wed, Mar 07, 2012, Lennart Sorensen wrote: Hmm I thought armhf did ARMv6, but no, it uses thumb-2 which apparently means ARMv7. *Debian*'s armhf is configured to use Thumb-2, but you could rebuild the packages with a toolchain defaulting to ARM mode and your binaries would be compatible

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Paul Brook
With actual RPi hardware still being 6 to 8 weeks out, would a Freescale i.MX535 Quick Start board allow such benchmarking? I presume an armel install of Debian and compiling certain packages with VFP2 optimizations would be pretty straight forward. Is armhf in such a state that it would be

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Lennart Sorensen
On Wed, Mar 07, 2012 at 09:32:05AM -0800, Mike Thompson wrote: I've been using the armel (and earlier ABI) on my NSLU2 (slug) for several years now. I actually never really understood much about the Debian port to ARM, other than it just worked well for me. My interest in the RPi has got

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Lennart Sorensen
On Wed, Mar 07, 2012 at 06:28:44PM +0100, Loïc Minier wrote: *Debian*'s armhf is configured to use Thumb-2, but you could rebuild the packages with a toolchain defaulting to ARM mode and your binaries would be compatible with the Debian ones as long as both are built with interworking.

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Paul Brook
BTW my gcc man page has an armv6t2 -march= target, so I suspect there are some ARMv6 CPUs with Thumb-2. You still can't run ARMv7 Thumb-2 code an an ARMv6t2 core. The same way you can't run ARMv7 ARM code on an ARMv6 core. THe only ARMv6t2 implementation I know of is the arm1156 (which

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Tahn Subharo
At Wed, 7 Mar 2012 11:39:43 +, Wookey wrote: If there is enough enthusiasm Pardon my 2 cents from the peanut gallery.  Considering that the Raspberry Pi is currently selling at a rate of 700 per second (and it's been on sale for a full week now), I would call that a mentally kook-tastic

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Steve Langasek
On Wed, Mar 07, 2012 at 09:32:05AM -0800, Mike Thompson wrote:5~ The armhf ABI will work onthe RPi, but the packages would need to be rebuilt to not use the extra v7 or VFP v3 instructions. That is a CPU optimisation, like rebuilding for i486 instead of i586, not a new ABI, and thus not a

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Wookey
+++ Steve Langasek [2012-03-07 14:28 -0800]: For all intents and purposes, this *is* a new port. This can't just be done as a set of optimized libraries on top of armhf, because the baseline for the armhf port is ARMv7 so none of these packages are guaranteed to run on RPi, *including

Re: Questions regarding armhf port for Raspberry Pi

2012-03-07 Thread Wookey
+++ Mike Thompson [2012-03-07 09:32 -0800]: Wookey, thank you for the very detailed response. Debian is expecting Pi users, like all pre-v7 hardware owners, such as all the *plug devices, to use the armel port, in the same way that the 'offical' fedora distro is v5, softfp. If