aREST for the Raspberry Pi