Libreelec on Vero 4K?

And you may want to look this as well: