Ubuntu 16.04 or Raspbian Jesse for Raspberry Pi 4
I was reading the installation instructions for putting ROS Kinetic on a Raspberry Pi here. It mentions that it is faster to instead use Ubuntu Xenial (16.04) for a Rasp Pi 3. But I am not sure if it means faster as an OS or faster to download. For a Rasp Pi 4 (which is what I have) with 4 Gb of RAM which OS is a better choice efficiency wise (are there any glaring problems with either of these options). I have never used ROS before and am somewhat new to Linux as well. I was looking at this tutorial for installation of Ubuntu. It mentions a later version of Ubuntu, 19.something, would the installation be the same except for a different image to flash on the SD. Would I need to worry about overclocking in this case, is ROS heavy on the processor if your just doing basic stuff. I know this is a lot, but I appreciate any help you can give!
Edit: It looks like for what I'm trying to do an RPi really isn't the best choice. Additionally because the only distro currently supported on an RPi 4 is Ubuntu 19.10, getting ROS on there at all will be difficult (much less getting Kinetic on there) because no version of ROS is officially supported for Ubuntu 19.10 (and especially not Kinetic). Thus I will try to dual boot my laptop because that is a much better choice for what I am trying to do.