Julian - Dec 31, 1969 at 19:00
Great news!

What about Linux armv7h (Raspberry Pi with Debian/Raspbian or Arch Linux ARM)?
I guess you already ported to arm for the Android version, so this should be basically done already?
Unlike Android systems the Pi port could use the same i/o code as on 64bit Linux.
what is three + three?