Le lundi 09 juillet 2012 à 16:12 -0500, Jonathan Nieder a écrit : > Thanks to both of you. Do you still have access to this hardware? If so, > what kernel do you use, and how does it behave? Yes, it runs 3.2.0-2-amd64, it seems to behave like a champ. At least I didn't spot an IPMI-related Oops recently (but I don't reboot it that often). Xav