So it seems I missed one board that just about covers what I am looking for previously: The Qualcomm Robotics RB5 Developer Kit. [1][2] Linaro maintains a Debi

So it seems I missed one board that just about covers what I am looking for previously: The Qualcomm Robotics RB5 Developer Kit. [1][2] Linaro maintains a Debian Sid build specifically for the board, which is currently running the 5.13 kernel. [3][4] It is a recent Cortex-A77 based SoC (QRB5165) with plenty of IO, and can be had for $500. NPU is 15 TOPS, so not a slouch, and there's even a vision kit version which comes with a couple of cameras. So it is a bit outside of the price range I was looking for, but not by a huge margin. 1: https://www.qualcomm.com/products/robotics-rb5-platform 2: https://www.thundercomm.com/app_en/product/1590131656070623 3: http://releases.linaro.org/96boards/rb5/linaro/debian/21.08/ 4: https://www.youtube.com/watch?v=pNS0laFiowE