kern/171524: [ipmi] ipmi driver crashes kernel by reboot or shutdown

[John Baldwin]

On Tuesday, September 11, 2012 4:00:21 pm Sean Bruno wrote:
> The following reply was made to PR kern/171524; it has been noted by GNATS.
> 
> From: Sean Bruno <seanbru at yahoo-inc.com>
> To: bug-followup at FreeBSD.org, dhojnik at brainbits.net
> Cc:  
> Subject: Re: kern/171524: [ipmi] ipmi driver crashes kernel by reboot or
>  shutdown
> Date: Tue, 11 Sep 2012 12:56:16 -0700
> 
>  It looks like the fix is not in releng_91 for release.
>  
http://svnweb.freebsd.org/base/stable/9/sys/dev/ipmi/ipmi.c?revision=239920&view=markup
>  
>  You can either patch the system by hand by applying this change to your
>  local tree or update to stable/9 to fix this.
>  
>  http://www.wonkity.com/~wblock/docs/html/stable.html

This has nothing to do with freebsd-net@ either, but it should probably
be closed since it is fixed in HEAD.

-- 
John Baldwin