240vac to 12v 15amp via pc psu
From there into the atx mini car thingy, that powers the pc... if Harald is correct i can simply charge the battery with a regular lead charger (15amp one) and supply the mini atx car supply and pc from that..
But the specs, really does say 12.8v max input, but...