Re: IPMI support in Linux