For a RPi you can always clone the SDcard to a second one and swap cards depending on which software you want to run…