On 28 May 2015 at 22:22, Liviu Ionescu <i...@livius.net> wrote: > >> On 29 May 2015, at 00:09, Aurelio C. Remonda <aurelioremo...@gmail.com> >> wrote: >> All we'd have to do is add the ARM_FEATURE_VFP4 to the initfn. > > if it is that simple, why don't we add it in for now?
It's not -- the FPU needs support in the exception handling (lazy FPU saving is particularly interesting, but there's also a bunch of minor stuff like "expose the FPU version registers as memory mapped regs" IIRC). -- PMM