On 2024/04/12 17:57, Caspar Schutijser wrote:
> Hi,
> 
> This port builds successfully on arm64. I did not test this
> at runtime. It's possible it builds on armv7 too these days
> since the BROKEN message is the same but I can't test it on
> armv7.

I suggest removing BROKEN-armv7 as well, the root cause was the same so
if it still fails it should now be for a different reason.