Thinking about building my own internet radio player on top of a raspberry pi. Frontier Silicon is down, my device is partly unusable. :/