Bug#637489: kfreebsd-kernel-headers: Please include sys/ipmi.h

[Samuel Thibault <sthibault@debian.org>]

Package: kfreebsd-kernel-headers
Severity: normal

Hello,

For IPMI kernel driver support in ipmitool, kfreebsd-kernel-headers
should include sys/ipmi.h.

Samuel

-- System Information:
Debian Release: wheezy/sid
  APT prefers testing
  APT policy: (990, 'testing'), (500, 'unstable'), (500, 'stable'), (1, 'experimental')
Architecture: amd64 (x86_64)

Kernel: Linux 3.0.0 (SMP w/8 CPU cores)
Locale: LANG=fr_FR.UTF-8, LC_CTYPE=fr_FR.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash

-- 
Samuel Thibault <samuel.thibault@fnac.net>
* c is away : cuisine; bouffe
<y> oh, moi je fais plutôt cuisine & bouffe en fait :)
<c> oui c'est vrai, certains font cuisine && bouffe (juste au cas où... ;-))
<y> ( cuisine && bouffe ) || restau
<N> voire ((cuisine && bouffe) || restau) & apéritif
 -+- #ens-mim -+-