On 6/08/2018 6:49 PM, Andrew Haley wrote: > On 08/04/2018 10:48 PM, Andrew Haley wrote: >> ARM64 is gone. We should make the instructions correct for the port that >> does build. > > LOL! ARM32 is gone, I mean. Do not panic... ARM32 is not gone. Bellsoft are supporting it now. David