a few weeks ago we decided to ditch the armv5 efforts and go with
armv6hl instead (which works for Raspberry Pi, but not for older
chips). This gives a bit of performance and fewer miscompiles, so less
things to worry.
Could you please push the attached patch to master?
Show replies by date