> So who's the target market? Are there products out there built on these? Or are they mostly just shipped straight into desk drawers? How many of these do they actually ship?

Hobbyists, mainly.

I could see this being a hit with people who want to work with RISC-V, which still needs a lot of low-level stuff built out for its ecosystem. You don't need it to be a screamer, just for it to run predictably.

Remember, the Raspberry Pi was mainly a hobbyist curiosity when it came out. There's definitely a market.