Rikomagic MK80LE is a linux based version of its Android kin, Rikomagic MK80. In fact Rikomagic MK80LE shares the exact same innards too but it retails for slightly higher price: £ 155 (2GB / 16GB) and £ 175 (4GB / 32GB).
Rikomagic MK80LE specifications include an octa core Allwinner A80 processor, 2 gigabytes of RAM and 16GB of eMMC flash storage. It comes pre loaded with Ubuntu 14.04 linux operating system which is much more advanced than an Android computer.
Rikomagic MK80LE specifications also include common ports and modules like 802.11ac wireless LAN, Bluetooth 4.0, Gigabit Ethernet, a USB 3.0, two USB 2.0, HDMI 1.4b, SPDIF, one SD card slot and a SATA connector that allows you to connect an external hard drive to the the Mini PC. With all these features, you will not have any problem in running HD games or HD videos under VLC media player.
A mini PC with Linux operating system is quite a rare thing and they are not super popular, so you will not find in most online stores. Cloudsto is offering both variants of it: 2GB / 16GB and 4GB / 32GB. Both retail for 155 euro and 175 euros respectively.