FWIW https://people.debian.org/~christoph/kfreebsd-10.1/kfreebsd-10_10.1~svn270273-1.dsc is what I'm using. Started to build in a sid schroot now to eliminate environment fun. FWIW the sys/types that seems to be found here comes from libc0.1-dev-i386 which looks a bit strange? Christoph