Re: Preventing the mixing of armhf packages
> > The right way to do this is with HWCAPS bits to identify whether the
> > hardware can run v7 binaries and for dpkg to refuse to install stuff
> > that won't run.
> > This is how it works on x86:
> > http://developers.sun.com/solaris/articles/hwcap_modification.html
> > with HWCAPS for cmov and cmpxchg16b
> > However I'm not sure the arm HWcaps list:
> > http://lxr.free-electrons.com/source/arch/arm/include/asm/hwcap.h?v=2.6.3
> > 0 actually covers the extra v7 instructions. You could probably use the
> > VFP3 CAP as a proxy on PI, but it may be better to define an actual 'has
> > v7 ISA' bit)
> Somehow I don't think the armhf people would be too happy about rebuilding
> all their packages to accommodate the Raspberry Pi as it would be those
> packages that would have to include 'has v7 ISA' bit.
That's an easy backwards compatibility problem to solve. Assume any packages
without the new arch/hwcaps tag were built with the normal defaults (i.e.