[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: Questions regarding armhf port for Raspberry Pi

+++ 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 ld.so*.  Likewise, you could build it on top of armel as a
> set of v6-optimized add-ons to the v4t port, but then you wouldn't be able
> to use the hard-float ABI - you could still use all the VFP you want, but
> you'd pay the marshalling penalty on function calls.
> So if you really care about getting the most out of the hardware, you're
> looking at an entirely new port.

Or, and I mention this mostly for completeness as it'd be a really
hard sell: persuade Debian that the Pi is such a big deal we should
move the armhf base CPU optimisation back down to v6+vfp2, no thumb. That
would still work on v7+vfp3 hardware, but with some speed penalty. 

> You could probably reuse the armhf name (and ld.so path), 

This was the sense in which I meant it's not a new port. 

It would be a new repo. 

Principal hats:  Linaro, Emdebian, Wookware, Balloonboard, ARM

Reply to: