I don’t know about this Hyperspin. Looks a bit bloated. Are they distrubuting it with ROMs maybe? Seems a bit dodgy.
Anyway, currently Retropie is most conveniently installed to the RPi running OSMC via the RetrOSMC script.
But Retropie itself does not support the Vero4K, so therefore neither does RetrOSMC.
I am currently working on a fork of Retropie, to make easier the installation and configuration of the emulators I’ve got working so far, but it isn’t intended to be a big release or anything, more for personal convenience, although like the idea. I’m not sure how much demand there is for retrogaming on the Vero4K to be honest. My “how-to” for Mupen64Plus recieved zero interest!
As Sam says, you’ll have some options with Kodi v18.