2016-11-01, 22:23
Just to share to be sure.... You can download a play list from your favourite channels from radio tunes. (extension .pls) In Kodi (in my case at the raspberry) you put this file in /storage/music. Then you can play the list with the build in player. Easy!
http://www.radiotunes.com/settings
http://www.radiotunes.com/settings