Tons of hobbyists buy PINE hardware. All of their SoCs are Chinese (Rockchip, Allwinner). Hardkernel/Odroid stuff is a mix of Amlogic, Intel, and Rockchip.
Outside the hobbyist space people do seem to be shunning Chinese SoCs AFAICT. Maybe no name TV boxes have rockchips, but other than that not much.
What non-Chinese options do hobbyist boards have? NXP chips seems almost impossible to get for the hobbyist market. I’m not sure why. Broadcom for the RPI’s we’re probably only possible because the creators had worked at Broadcom.
Outside the hobbyist space people do seem to be shunning Chinese SoCs AFAICT. Maybe no name TV boxes have rockchips, but other than that not much.