> On Jul 24, 2018, at 11:20 AM, Steve McIntyre <[email protected]> wrote:
> 
> [ Dropped cc to debian-ports etc., switched to debian-arm instead ]
> 
>> As for the hardware, you should watch out for hardware with ARM Cortex Cores.
>> Alternatively, X-Gene 1. ThunderX, ThunderX2 and Centriq are definitely not
>> supported.
> 
> Agreed on the others, but X-Gene 1 works just fine for A32. Not sure
> about later cores...

I should have phrased more carefully:  ARM Cortex and X-Gene 1 are the ones 
that work, the others don’t according to Alex.

As for the GHC bug, it’s probably a good idea to forward this upstream. Sergei 
Trofimovich from upstream is extremely good at fixing these things. He has 
fixed many obscure GHC bugs for Debian Ports architectures.

Adrian

Reply via email to