Different and cheap, new $25 Raspberry Pi is selling