I haven’t tried this yet (will have to wait until the weekend), but having a decent Android distribution for the Raspberry Pi has been a long, largely fruitless quest of mine, and I’m positive I’m not alone.
And if it comes with a properly tuned, real-time kernel, then that’s just icing on the cake, really…