We intend to use as little of Android as possible, in fact.  Really,
we want to use the kernel + drivers, plus libc and ancillary stuff.
It's not likely that we'll use the Android Java-wrapped graphics APIs,
for example.  It's nice to start from something that's known to boot
and have access to all the devices we want to expose.  Maybe that's
not the right direction, though, so if someone wants to explore
another direction that'd be just fine.

Our experiences with performance and hardware acceleration on X
haven't been great, and it's a pretty heavyweight component to bring
in.  Are there good drivers for the hardware found in current phones
and tablets?

Mike