Maciej Rozycki <Maciej.Rozycki@xxxxxxxxxx> writes: > On Fri, 4 Nov 2016, Guenter Roeck wrote: > > > > As above, unless absolutely critical to have floating point code > > > then the vDSO should just avoid all FP related issues and build > soft-float. ... > > Anyway, isn't the kernel supposed to not use floating point operations > > in the first place ? Is this different for vDSO ? > > This code is executed in the user mode so while floating-point code may > not be needed there, not at least right now, there's actually nothing > which should stop us from from adding some should such a need arise. Indeed. For now though the switch to -msoft-float is the simplest solution isn't it? Matthew