https://www.vicorpower.com/ the dc-dc converter. converting the batteryvoltage 400V to boardvoltage(s) 12V, 5V, whatever There is already 12v "available" for the docking station, the radiator fan, and the water pump.