Vero 4k+ Retropi (sdcard) & OSMc dual boot

[ActionA]

[HOW-TO ] retrOSMCmk2: a RetroPie installer on the Vero4K

There’s a new installer for RetroPie on the Vero4K! It still supports the RPi, so it’s been imaginatively called… retrOSMCmk2 What does this installer add? Binary install options for the Vero4K for all of the tested emulators, so you’ll be up and running in minutes rather than hours; Provides a new launcher addon as standard; Fixes the popup menus on the Vero4K when you start a game (you may not have noticed but previously they didn’t display at all, so you couldn’t select the default core …

There are instructions here regarding using a USB drive for ROMs with Retrosmc.

Is there really a need to dual boot?