Any idea if or when this board might get support?
Not sure if this will help or not, but on my quick set of searches, there looks like there may be some limited ROS support for ROS Kinetic on RPI4
I did not try that one yet, but trying the RosberryPi http://wiki.ros.org/ROSberryPi/Installing%20ROS%20Kinetic%20on%20the%20Raspberry%20Pi install did not work and appeared to be put up with zero testing LOL clown’s need to stay in the circus.
It did show me how hot this board gets, with heat sinks even. I am adding a small fan myself.