The Raspberry Pi is a credit card sized computer (price ~ 50 USD) (see: http://www.raspberrypi.org) It runs a linux version (Raspbian) This directory contains a platon executable that will run on this system.