On Tue, Apr 8, 2014 at 8:27 PM, Manuel Lauss <manuel.lauss@xxxxxxxxx> wrote: > This small patch makes the floating point support and the FPU-emulator > optional. A Warning will be printed once when first use of floating > point is detected. > > Disabling fpu support shrinks vmlinux by about 54kBytes (32bit, > optimizing for size), and it is mainly useful for embedded devices > which have no need for float math (e.g. routers). > > Signed-off-by: Manuel Lauss <manuel.lauss@xxxxxxxxx>