I'm wondering about small programmable devices with built-in screen, buttons, battery pack, and accessible GPIO. So far I'm aware of the Odroid Go, Gamebuino META, and Pokitto. (The Pandora sort of counts, but has a fragile connector, and running a real OS is a downside for performance here.) Have I missed any?