We have developed and tested the power supply for the Jetson TX2 (which will be used as the brains of the rover).

This supply is designed to take in 12V to supply 19V on the output at 3A max. The Jetson TX2 typically runs on 15W due to it's high efficiency, so the supply is overkill and not going to act as efficient, but does the job well. We are currently using the LM5122, due to it's high power capability and since most of the designs can be reused for the power supply of our stepper motors.