I assume the batteries are seperated electrically? e.g. one for engine starting and the other for domestic use. If so a Sterling (www.sterling-power.com) charger would be ideal - it has three seperately regulated outputs which can be connected to seperate batteries or joined together. Not cheap though, prices start at about £170 for a 20amp model.