RobH wrote:
> I can't find the link now, but I found one earlier for ubuntu server
> 19.10 32 bit, which is what I have flashed to the micro sd card

32 bit?

Here's what the Ub RPi link I posted earlier has to say about the arch
issue:

https://wiki.ubuntu.com/ARM/RaspberryPi
  Ubuntu arm64/AArch64
     Multiarch

Click those links from the contents table.

There's more discussion than just that it, the 64, boots 32 by default.

"There is a config.txt entry to make the ARM start in 64-mode (otherwise
32-bit mode is used): "

--
Mike Easter

--- SoupGate-Win32 v1.05