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... -- Andrew Haley Java Platform Lead Engineer Red Hat UK Ltd. <https://www.redhat.com> EAC8 43EB D3EF DB98 CC77 2FAD A5CD 6035 332F A671