What we are running isn't any of them, and the 2-way server board
looks promising.
I don't know if IPMI is available, but there is certain kind of PCI
device that can help with remotely power on/off the machine controlled
by SMS. I'm curious if DSA think IPMI is mandatory for buildd and
porterbox.
--Regards,
Aron Xu