I have an older power supply (Pyramid PS-26KK) and I am wondering if it can be used as a source for DC charging.  It is a variable power output from 6 - 25 volts, and has a rated capacity of 25 Amps.  This beast weighs about 30 pounds and has  four (serious) output transformers on the back with big heat sinks. Is there any reason I couldn't use this with something like an ISDT charger?  I don't need serioius battery charging power, but I already have the beast, so I may as well use it.  Right or wrong?

Yes, you can happily use that to power the ISDT charger

Thank you.