A WiFi radio and AirPlay receiver for the Raspberry Pi platform