I've also used the Raspberry Pi + Coral TPU. For a while it was almost impossible to get the USB as it was always out of stock, but those issues seem to be gone. I would not, however, recommend the devboard as the documentation is quite sparse (runs on an NXP processor). RPi+Coral is a good combo, and the Pi5 supports the PCIe accelerators.

The BeagleBoard BeagleY-AI that was just released costs $70 at 4TOPS, equal to the Coral which is $60 for the USB alone disregarding the cost of a Pi [2]. It just came out, but BeagleBoards have quite a good community reputation and because the hardware is more open, easier to develop into a commercial product. The older BeagleBone AI-64 has a processor that supports 8TOPs, and TI has processors that go up to 32TOPs if you have the skills to create your own board (I don't).

I would not recommend developing with the NVIDIA Jetson unless you have particularly deep pockets and like to use an out-of-date toolchain. The latter isn't too unfamiliar to the embedded world though.

[1] https://pineberrypi.com/products/hat-ai-for-raspberry-pi-5 [2] https://www.beagleboard.org/boards/beagley-ai