• Palmer Dabbelt's avatar
    riscv: Add support to no-FPU systems · 4e4101cf
    Palmer Dabbelt authored
    This patchset adds an option, CONFIG_FPU, to enable/disable floating-
    point support within the kernel.  The kernel's new behavior will be as
    follows:
    
    * with CONFIG_FPU=y
      All FPU codes are reserved.  If no FPU is found during booting, a
      global flag will be set, and those functions will be bypassed with
      condition check to that flag.
    
    * with CONFIG_FPU=n
      No floating-point instructions in kernel and all related settings
      are excluded.
    Signed-off-by: default avatarPalmer Dabbelt <palmer@sifive.com>
    4e4101cf
Kconfig 6.47 KB