There are already several ways to run retro games on development boards, with for example RetroPie, and derivatives like RetrOrangePi, Lakka and Recalbox. Batocera.Linux is another option that I had never heard about so far, and works on PCs, as well as Raspberry Pi and ODROID boards, with ODROID-N2 support having been added very recently.
batocera.linux operating system can easily be run from a USB flash drive on your computer without altering your existing OS, while it will boot from a standard microSD card on Raspberry Pi and ODROID boards.
Beside retro-gaming support, the OS also includes Kodi media center for playing videos, or listening to music. You may even play games in it since retro-gaming support was added in Kodi 18.
The partial compatibility table above shows all platforms have a different level of support, and for Intel hardware support more emulators than Arm based boards. The Orange arrow means it works but performance is poor, and the yellow light bulb means overclocking is recommended. RockPro64 is the only Rockchip board support by the retro-gaming and media center OS.
Thanks to theguyuk for the tip.