After watching a few videos by Retro Game Corps, it looks like the RG DS has acceptable, perhaps good, performance with Rocknix, which is pretty cool! Similar experiences can be found when looking at other reviews online. I run Linux on the desktop, and I have successfully installed postmarketOS on a OnePlus 6 (not as a daily driver, but as a secondary device for music and games!), so I am comfortable with installing alternative operating systems.