There are already a few covered in the Blue Robotics Technical Reference, but it would be good to put those into a tabular comparison (with prices), and also cover boards without official support (like the NVIDIA Jetson boards, and perhaps some Raspberry Pi clones).