On Wed, Sep 11, 2013 at 05:07:37PM +0200, Matteo F. Vescovi wrote:

Now, Debian using kFreeBSD amd64/i386 kernel fails building, as you can
see at [1] (Hurd is another story ;-) ).

UPDATE: a test build on a Debian GNU/kFreeBSD64 porterbox now gives the
results attached in the buildlog file, where fail is probably related to
the recent upgrade to boost 1.54 in Debian.

Hope it could help fixing the issue.

--
Matteo F. Vescovi
Debian Maintainer
GnuPG KeyID: 0x83B2CF7A