Which non-Linux operating systems have aarch64 version and are freely available?

Already checked FreeBSD (found bug in qemu), NetBSD (bisecting on a way) and OpenBSD (works).

Looking at other options. 

 @a06711c5 From following all things PinePhone: Apache NuttX? Genode?