Aurelien Jarno, le Fri 12 Aug 2011 09:49:13 +0200, a écrit : > > The installed kfreebsd-kernel-headers doesn't seem to suffice. He > > needs /usr/include/sys/ipmi.h which is no package at all according to > > "apt-file search /usr/include/sys/ipmi.h". > > > > It looks like to me this file should be added to > kfreebsd-kernel-headers. I have file a bug about this, yes. Samuel