UPnP media server intended for the Raspberry Pi based on the Platinum UPnP SDK