On 27 May 2016 at 09:51, Don Lewis <truckman at freebsd.org> wrote: > On 27 May, Adrian Chadd wrote: >> Hi, >> >> Did this introduce floating point into the kernel? > > Cr*p, it did. It looks fixable, but I'll disconnect PIE from the build > for now. Cool, thanks! -a