I need a file server to serve mostly Ogg/MP3 files and perhaps some video.

I am going to use a Raspberry Pi 2 with an external USB. Not a great performer as far as IO is concerned. But that's what I have at the moment.

Should I try 9front or stick with GNU/Linux?