shared memory problem on armel

[martinwguy]

On 7 February 2013 19:58, Mike Thompson <mpthompson at gmail.com> wrote:
> On Thu, Feb 7, 2013 at 10:10 AM, Ben Hutchings <ben at decadent.org.uk> wrote:
>> On Thu, Feb 07, 2013 at 06:42:20PM +0100, martinwguy wrote:
>> > For example, the armv6 armhf port for the Raspberry Pi in armhf/V6.
>>
>> The wilful incompatibility of Debian derivatives should not restrict
>> what Debian does.
>
> Ideally, I would love to see Raspbian folded back into the Debian Project,
> but I realize this won't happen for a variety of reasons.

There is a way: for Debian armhf to re-target on v6 in a future release.
That would break none of the existing installations and make Debian
more Universal as per its manifesto. With hindsight it would have been
better for Debian armhf to have targetted on the lowest arch version
that almost always had a VFP unit, but that forward path is easy.

It seems a net win compared to a few % extra speed in FPU-intensive
apps on v7+ CPUs.

  M