Yes. A nice foundation the team have going. Good to see David Braben on board too (Elite, Frontier)
Since the PI's CPU is ARM-based I wonder whether this little PC will be capable of running an Android build (2.2 for example). Although the CPU is only 700Mhz and ram is 256MB (for model B)
I recommend watching the
Raspberry Pi Tutorial series on YouTube. Its a good starting point. The guy has a programming section (Python-based) in there too