I am working on a project where I am required to stream some videos hosted at the server onto a display connected to my NanoPi M1 plus via a HDMI cable. I have not a lot of knowledge about it. Which tools should I use for this? The video needs to start streaming after the NanoPi boots up. There should be no user input.