Perhaps I was a bit vague with the word “performance”, but given that this user only seems to be interested in running ROS, there is absolutely no reason they need anything above the FPS cap (hence my recommendation of virt-manager, as it is quite user friendly). The “performance” aspect of it boils down to CPU utilization and efficiency more than anything.