Here are the specs ( i could find ) of these three mini consoles.
Gamebuino
SPECIFICATIONS
CPU : atmega328 @ 16Mhz (like an Arduino Uno)
Display : 8448px monochrome (like the good old nokia 3310) + auto backlight
Sound : magnetic speaker, 4 channels
Input : Arrows + A B C buttons
Communication : 1x micro USB, 1x micro SD card, 2x I2C
Battery : 24h life, 240mAh LiPo battery, charged through USB
Dimensions : about the size of a credit card ; 904512 mm (3.51.8*0.5″
Price : $43 USD
Arduboy
Specs:
Processor: ATmega32u4 (same as Arduino Leonardo & Micro)
Memory: 32KB Flash, 2.5KB RAM, 1KB EEPROM
Connectivity: USB 2.0 w/ built in HID profile
Inputs: 6 momentary tactile buttons
Outputs: 128x64 1Bit OLED, 2 Ch. Piezo Speaker & Blinky LED
Battery: 180 mAh Thin-Film Lithium Polymer 5 hr
Programming: Codebender, Arduino IDE, GCC & AVRDude
Dimensions: Credit Card Sized
Price : $39.00 USD
Pocket Chip
General Specs
CPU : 1 GHZ ARM v7
RAM : 512 MB
GPU : Mali 400
Display : 480px by 272px
Connectivity : Bluetooth, WiFi, USB, 1/8" Headphone jack, video out
Battery : 5 hr 3000 mAh
Price : $49 USD ( limited time offer ) Normally $60 USD