Quick answer: Recalbox says the Retroid Pocket Nova, Anbernic RG35 and Anbernic RG35XX Pro are now playable in Recalbox 11, which is limited to its Patreon backers for now. The ports will come to everyone with the stable Recalbox 11 release.
Recalbox, the retro gaming OS that already runs on the Steam Deck, now supports three more handhelds: the Retroid Pocket Nova, the Anbernic RG35 and the Anbernic RG35XX Pro. The ports are in Recalbox 11, which only the project's Patreon backers can use right now while they test it and send feedback. Recalbox says the ports will be available to everyone when the stable Recalbox 11 release is ready. It hasn't given a date.
On the Retroid Pocket Nova (QCS8550, Adreno 740, 4.5-inch 4:3 960p 120Hz AMOLED, about $240), Recalbox says it's fully happy with performance up to GameCube, and development is still going. Docking works Switch-style: you can go from handheld to HDMI output without restarting Recalbox or the game you're playing. The team is also working on support for every button, including the brightness and volume controls, and on joystick LEDs that can match the screen color or show battery level.
The Anbernic RG35XX Pro (H700 quad-core, 1GB RAM, two microSD slots, 3,200mAh battery, about $49) and the cheaper RG35 (RK3326, 1GB RAM) both have 3.5-inch 640 x 480 IPS screens. Recalbox says it runs very well on both, with performance it's very satisfied with up to PlayStation 1. The RG35XX Pro adds Wi-Fi, Bluetooth and HDMI. Recalbox has confirmed HDMI support on it, and it switches to the TV automatically when you plug it in and back again when you unplug it.
Recalbox says it's still tuning all three ports before the public release and is taking feedback on its Discord.