Machine spec Linux raspbmc 3.12-1-rpi #1 Debian 3.12.9-1+rpi1 (2014-05-19) armv6l GNU/Linux Credits Source code: (c) Copyright 2002-2013, MediaTek Inc. (released under GPLv2)