marxy's musing on technology: Leadstar D12 TV with Raspberry Pi