Not sure if I would bet on Raspberry Pi, because to me it seems they mostly ride on inertia and their okay-ish drivers. Looking only at hardware, the Raspberry Pis have gotten quite expensive, not that far off from the cheap and faster x86 boxes with intel’s e cores when including accessories.

There are many competitors in the SBCs space offering products that generally exceed the offerings of the Raspberry Pi. The only issue is software, often you get something like an image based on an old Debian with kernel patches. (Or you must use a 3rd party project like Armbian). But I can't imagine it's impossible that one of the usual SBC-SoC manufacturers would finally start doing proper upstream Linux kernel work.

Raspberry Pi seems really unpopular in some circles, the IPO probably doesn't help. I'm wondering how Broadcom sees the bigger focus on commercial customers rather than education and hobbyists.