I hope that there will be a build of OVCC for ARM 32 bit. The Raspberry Pi with just 1 GB of RAM (too bad this can't go back in time to when we first got our CoCos...) can't run in 64 bit mode.