Lightweight media server for Raspberry Pi running Arch Linux, using flask and omxplayer.