He is using a device called an M2 ATX. It wires into the car like an amp (power, remote and ground) and then provides output in the form of a normal computer power supply which you then plug into the motherboard/hdd.

Others to look at are the

DSATX
M2ATX
Opus 150
Opus 200